176 search results - page 12 / 36 » A semantic measure of the execution time in linear logic |
162
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
133
click to vote
SPIN
2000
Springer
15 years 5 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 ...
98
Voted
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Persons may perform an activity in many different styles, or noise may cause an identical activity to have different temporal structures. We present a robust methodology for recog...
119
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
137
click to vote
GRC
2005
IEEE
15 years 7 months ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...