Result 1 to 20 of 110 total
On morphisms of commutative monoids. (English)
Semigroup Forum 84, No. 2, 333-341 (2012).
1
Using coverage criteria on repOK to reduce bounded-exhaustive test suites. (English)
Brucker, Achim D. (ed.) et al., Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31‒June 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30472-9/pbk). Lecture Notes in Computer Science 7305, 19-34 (2012).
2
A summary on the study of the medium-term forecasting of the extra-virgen olive oil price. (English)
Lozano, Jose A. (ed.) et al., Advances in artificial intelligence. 14th conference of the Spanish association for artificial intelligence, CAEPIA 2011, La Laguna, Spain, November 7‒11, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25273-0/pbk). Lecture Notes in Computer Science 7023. Lecture Notes in Artificial Intelligence, 263-272 (2011).
3
Prediction of socioeconomic levels using cell phone records. (English)
Konstan, Joseph A. (ed.) et al., User modeling, adaption and personalization. 19th international conference, UMAP 2011, Girona, Spain, July 11‒15, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22361-7/pbk). Lecture Notes in Computer Science 6787, 377-388 (2011).
4
A dataflow analysis to improve SAT-based bounded program verification. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 138-154 (2011).
5
Abstraction based automated test generation from formal tabular requirements specifications. (English)
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 84-101 (2011).
6
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs. (English)
Gogolla, Martin (ed.) et al., Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21767-8/pbk). Lecture Notes in Computer Science 6706, 15-32 (2011).
7
Computing functional estimators of spatiotemporal long-range dependence parameters in the spectral-wavelet domain. (English)
J. Stat. Plann. Inference 141, No. 7, 2417-2427 (2011).
8
A study on the medium-term forecasting using exogenous variable selection of the extra-virgin olive oil with soft computing methods (English)
Appl. Intell. 34, No. 3, 331-346 (2011).
9
A dataflow analysis to improve SAT-based bounded program verification (English)
SEFM, 138-154 (2011).
10
Advantages of 3D extraction and spatial awareness within a videoconferencing environment (English)
TPCG, 97-100 (2011).
11
Abstraction based automated test generation from formal tabular requirements specifications (English)
TAP, 84-101 (2011).
12
Incorporating coverage criteria in bounded exhaustive black box test generation of structural inputs (English)
TAP, 15-32 (2011).
13
Prediction of socioeconomic levels using cell phone records (English)
UMAP, 377-388 (2011).
14
A summary on the study of the medium-term forecasting of the extra-virgen olive oil price (English)
CAEPIA, 263-272 (2011).
15
Intelligent systems in long-term forecasting of the extra-virgin olive oil price in the Spanish market. (English)
García-Pedrajas, Nicolás (ed.) et al., Trends in applied intelligent systems. 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1‒4, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-13021-2/pbk). Lecture Notes in Computer Science 6096. Lecture Notes in Artificial Intelligence, 205-214 (2010).
16
Complete calculi for structured specifications in fork algebra. (English)
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1‒3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 290-305 (2010).
17
Dynamite 2.0: New features based on unsat-core extraction to improve verification of software requirements. (English)
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1‒3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 275-289 (2010).
18
$CO^{2}$RBFN for short and medium term forecasting of the extra-virgin olive oil price. (English)
González, Juan R. (ed.) et al., Nature inspired cooperative strategies for optimization (NICSO 2010). Papers based on the presentations at the 4th international workshop, Granada, Spain, May 12‒14, 2010. Berlin: Springer (ISBN 978-3-642-12537-9/hbk; 978-3-642-26307-1/pbk; 978-3-642-12538-6/ebook). Studies in Computational Intelligence 284, 113-125 (2010).
19
Mobile Web profiling: A study of off-portal surfing habits of mobile users. (English)
De Bra, Paul (ed.) et al., User modeling, adaptation, and personalization. 18th international conference, UMAP 2010, Big Island, HI, USA, June 20‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13469-2/pbk). Lecture Notes in Computer Science 6075, 339-350 (2010).
20
Result 1 to 20 of 110 total
Start
Contact
Print
General Help
