Sciweavers

8647 search results - page 1447 / 1730
» The Container Selection Problem
Sort
View
ROCAI
2004
Springer
15 years 9 months ago
ROC Optimisation of Safety Related Systems
Abstract. Many safety related and critical systems warn of potentially dangerous events; for example the Short Term Conflict Alert (STCA) system warns of airspace infractions betw...
Jonathan E. Fieldsend, Richard M. Everson
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
15 years 9 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
SETN
2004
Springer
15 years 9 months ago
Incremental Mixture Learning for Clustering Discrete Data
Abstract. This paper elaborates on an efficient approach for clustering discrete data by incrementally building multinomial mixture models through likelihood maximization using the...
Konstantinos Blekas, Aristidis Likas
172
Voted
SOFTCO
2004
Springer
15 years 9 months ago
Designing Neural Networks Using Gene Expression Programming
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
Cândida Ferreira
135
Voted
UIALL
2004
Springer
15 years 9 months ago
A Framework for Context-Sensitive Coordination of Human Interruptions in Human-Computer Interaction
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
Sonja Gievska, John L. Sibert
« Prev « First page 1447 / 1730 Last » Next »