1366 search results - page 134 / 274 » Modularizing Contexted Constraints |
107
click to vote
ICS
2011
Tsinghua U.
14 years 3 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
107
click to vote
MIDDLEWARE
2007
Springer
15 years 5 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
105
click to vote
AIIA
1991
Springer
15 years 3 months ago
1991
Springer
Multimodal interfaces combining, e.g., natural language and graphics take advantage of both the individual strength of each communication mode and the fact that several modes can ...