Sciweavers

1445 search results - page 209 / 289
» Uniformly Hard Languages
Sort
View
115
Voted
WEBDB
2005
Springer
151views Database» more  WEBDB 2005»
15 years 9 months ago
Constructing Maintainable Semantic Mappings in XQuery
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
Gang Qian, Yisheng Dong
145
Voted
ACMSE
2004
ACM
15 years 9 months ago
A model-driven approach for generating embedded robot navigation control software
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
Bina Shah, Rachael Dennison, Jeff Gray
CLEF
2004
Springer
15 years 9 months ago
How to Visually Retrieve Images from the St. Andrews Collection Using GIFT
Abstract. The ImageCLEF task of CLEF has a main goal in the retrieval of images from multi–lingual collections. The 2003 imageCLEF saw no group using the visual information of im...
Henning Müller, Antoine Geissbühler
112
Voted
CP
2004
Springer
15 years 9 months ago
The Cardinality Matrix Constraint
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
Jean-Charles Régin, Carla P. Gomes
HIPC
2003
Springer
15 years 9 months ago
Thread Migration/Checkpointing for Type-Unsafe C Programs
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
Hai Jiang, Vipin Chaudhary