1884 search results - page 227 / 377 » Simple Algorithm for Simple Timed Games |
168
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
153
click to vote
CIDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- Automatic recognition of activities using time series data collected from exercise can facilitate development of applications that motivate people to exercise more frequ...
136
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
- In this paper, we study the relationship between C4 package resonance effects and logical switching timing correlations, which has not been thoroughly investigated in the past. W...
174
Voted
TMI
2008
15 years 6 months ago
2008
Abstract--Radial imaging techniques, such as projection-reconstruction (PR), are used in magnetic resonance imaging (MRI) for dynamic imaging, angiography, and short- 2 imaging. Th...
158
Voted
IACR
2011
14 years 5 months ago
2011
Traditional approaches to secure computation begin by representing the function f being computed as a circuit. For any function f that depends on each of its inputs, this implies ...