Sciweavers

4235 search results - page 462 / 847
» Process Spaces
Sort
View
ADAEUROPE
2007
Springer
16 years 17 days ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ATAL
2007
Springer
16 years 16 days ago
A pareto optimal model for automated multi-attribute negotiations
This paper presents an applicable model for complex multiattribute negotiations between autonomous agents. The model adopts a novel protocol which decomposes the original n-dimens...
Guoming Lai, Katia P. Sycara, Cuihong Li
BIOSURVEILLANCE
2007
Springer
16 years 16 days ago
High Performance Computing for Disease Surveillance
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
David W. Bauer, Brandon W. Higgs, Mojdeh Mohtashem...
CAEPIA
2007
Springer
16 years 16 days ago
Mixed Narrative and Dialog Content Planning Based on BDI Agents
There exist various narrative systems, focused on different parts of the complex process of story generation. Some of them are oriented to content planning, and some other to sent...
Carlos León, Samer Hassan, Pablo Gerv&aacut...
DAGM
2007
Springer
16 years 16 days ago
The Minimum Volume Ellipsoid Metric
We propose an unsupervised “local learning” algorithm for learning a metric in the input space. Geometrically, for a given query point, the algorithm finds the minimum volume ...
Karim T. Abou-Moustafa, Frank P. Ferrie