518 search results - page 22 / 104 » Time Window Temporal Logic |
CAIP
2005
Springer
15 years 1 months ago
2005
Springer
The goal of the works described in this paper is to improve results produced by an object detector operating independently on each frame of a video document in order to generate a ...
115
click to vote
DAC
2008
ACM
16 years 13 days ago
2008
ACM
Soft errors, once only of concern in memories, are beginning to affect logic as well. Determining the soft error rate (SER) of a combinational circuit involves three main masking ...
110
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
122
click to vote
DALT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
91
Voted
JOLLI
2010
14 years 10 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...