5184 search results - page 889 / 1037 » Computer support for mechatronic control system design |
186
Voted
PLDI
2003
ACM
16 years 7 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
202
click to vote
GPEM
2008
15 years 7 months ago
2008
In this work a cooperative, bid-based, model for problem decomposition is proposed with application to discrete action domains such as classification. This represents a significan...
206
click to vote
MM
2003
ACM
16 years 7 days ago
2003
ACM
Optimizing user experience for streaming video applications on handheld devices is a significant research challenge. In this paper, we propose an integrated power management appr...
236
Voted
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
228
Voted
CVPR
1998
IEEE
16 years 9 months ago
1998
IEEE
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...