1366 search results - page 24 / 274 » Modularizing Contexted Constraints |
MOBIDE
1999
ACM
14 years 2 months ago
1999
ACM
The first mass-produced pervasive computing devices are starting to appear—the AutoPC, the Internet-connected ScreenFridge, and the combination Microwave Oven/Home Banking term...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
MOBISYS
2004
ACM
14 years 9 months ago
2004
ACM
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...