5015 search results - page 835 / 1003 » Model Checking a Path |
200
click to vote
GIS
2009
ACM
16 years 3 months ago
2009
ACM
A common problem in moving object databases (MOD) is the reconstruction of a trajectory from a trajectory sample (i.e., a finite sequence of time-space points). A typical solution...
84
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Current compilers lack precise timing models guiding their built-in optimizations. Hence, compilers apply ad-hoc heuristics during optimization to improve code quality. One of the...
118
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Since performance on FPGAs is dominated by the routing architecture rather than wirelength, we propose a new architecture-aware approach to initial FPGA placement that models the ...
117
click to vote
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
Learning to fly an aircraft is a complex task that requires the development of control skills and goal achievement strategies. This paper presents a behavioural cloning system tha...
124
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we re-visit the problem of unconditionally secure message transmission (USMT) from a sender S to a receiver R, who are part of a distributed synchronous network, mo...