3229 search results - page 228 / 646 » The Theory of Timed Automata |
179
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
194
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Dealing with the NP-complete Dominating Set problem on graphs, we demonstrate the power of data reduction by preprocessing from a theoretical as well as a practical side. In parti...
187
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
122
Voted
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
A new address-event coding technique for off chip communication in neuromorphic and other perceptual systems is presented. Unlike all known solutions for address-event communicati...
167
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We consider the problem of evaluating large numbers of XPath filters, each with many predicates, on a stream of XML documents. The solution we propose is to lazily construct a sin...