4679 search results - page 803 / 936 » The Timely Computing Base Model and Architecture |
175
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...
168
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Canonical problems are simplified representations of a class of real world problems. They allow researchers to compare algorithms in a standard setting which captures the most im...
150
click to vote
HYBRID
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
172
click to vote
LPNMR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
133
click to vote
DBA
2004
15 years 7 months ago
2004
This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detect...