3856 search results - page 534 / 772 » Models for Automated Earthmoving |
167
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
166
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
156
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
156
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
165
click to vote
MMM
2005
Springer
16 years 5 days ago
2005
Springer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...