12774 search results - page 2431 / 2555 » A Framework for Proof Systems |
202
click to vote
SIGIR
2005
ACM
16 years 1 days ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
221
click to vote
VEE
2005
ACM
16 years 1 days ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
196
click to vote
WIKIS
2005
ACM
16 years 1 days ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
209
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
224
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...