Sciweavers

12697 search results - page 292 / 2540
» Call for Papers
Sort
View
CSCWD
2009
Springer
15 years 11 months ago
Ceramic tile design: A case study of collaborative New-Product Development in fashion-driven chains
This paper studies ceramic tile design chains, as representative of those collaborative New-Product Development (NPD) processes where the presence of very different origins of des...
María Jesús Agost, Pedro Company, Fe...
AIME
2001
Springer
15 years 11 months ago
Detection of Infectious Outbreaks in Hospitals through Incremental Clustering
Abstract. This paper highlights the shortcomings of current systems of nosocomial infection control and shows how techniques borrowed from statistics and Artificial Intelligence, i...
Timothy Langford, Christophe G. Giraud-Carrier, Jo...
FM
2001
Springer
142views Formal Methods» more  FM 2001»
15 years 11 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...
ICLP
2001
Springer
15 years 11 months ago
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel ...
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, G...
IFIP
2001
Springer
15 years 11 months ago
A Standardized Co-simulation Backbone
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
Braulio Adriano de Mello, Flávio Rech Wagne...