Sciweavers

1007 search results - page 92 / 202
» The Complexity of Futile Questioning
Sort
View
95
Voted
AI
2005
Springer
15 years 6 months ago
Planning for a Mobile Robot to Attend a Conference
The AAAI Mobile Robot Challenge requires robots to start from the entrance of the conference site, find their own way to the registration desk, socially interact with people and p...
Eric Beaudry, Froduald Kabanza, François Mi...
111
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
78
Voted
CAISE
2005
Springer
15 years 6 months ago
Heuristic Horizontal XML Fragmentation
A challenging question is how XML can be used to support distributed databases. This leads to the problem of how to obtain a suitable, cost-efficient distribution design for XML do...
Hui Ma, Klaus-Dieter Schewe
82
Voted
EUROCAST
2005
Springer
102views Hardware» more  EUROCAST 2005»
15 years 6 months ago
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
Similarity queries in traditional databases work directly on attribute values. But, often similar attribute values do not indicate similar meanings. Semantic background information...
Josef Küng, Roland Wagner
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
15 years 6 months ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay