3758 search results - page 513 / 752 » A Complete Subsumption Algorithm |
120
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
We propose a new approach to the notion of recognition, which departs from the classical definitions by three specific features. First, it does not rely on automata. Secondly, it...
103
click to vote
SIGGRAPH
1994
ACM
15 years 6 months ago
1994
ACM
The use of double-buffered displays, in which the previous image is displayed until the next image is complete, can impair the interactivity of systems that require tight coupling...
129
click to vote
RTSS
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
110
click to vote
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
136
click to vote
BIBE
2001
IEEE
15 years 6 months ago
2001
IEEE
As various genome sequencing projects have already been completed or are near completion, genome researchers are shifting their focus from structural genomics to functional genomi...