3653 search results - page 553 / 731 » On Recognizable Timed Languages |
163
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...
153
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
299
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
323
Voted
CC
2009
Springer
16 years 6 months ago
2009
Springer
form uses a notational abstractions called -functions. These instructions have no analogous in actual machine instruction sets, and they must be replaced by ordinary instructions ...
267
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
The most popular architecture for parallel search is work stealing: threads that have run out of work (nodes to be searched) steal from threads that still have work. Work stealing ...