1638 search results - page 72 / 328 » Properties of input-consuming derivations |
IJFCS
2007
14 years 9 months ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
AGP
1994
IEEE
15 years 2 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
119
click to vote
IJCAI
2003
14 years 11 months ago
2003
We propose a new framework to study properties of consistency in a Constraint Network from the perspective of properties of set intersection. Our framework comes with a proof sche...
AUTOMATICA
2008
14 years 10 months ago
2008
In this paper, a method for the performance assessment of a variable-gain control design for optical storage drives is proposed. The variablegain strategy is used to overcome well...