8196 search results - page 258 / 1640 » Computational Modeling and Complexity Science |
156
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
149
click to vote
AH
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The virtual laboratory (VILAB) supports interactive problem solving in computer science with access to complex software-tools. During the problem solving processes the le...
170
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
159
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
141
click to vote
IJON
2002
15 years 6 months ago
2002
Since the functional magnetic resonance imaging (fMRI) signal is likely to re ect a spatial average of the activity of neurons with partly dissimilar response properties, its inte...