2036 search results - page 101 / 408 » A generic type-and-effect system |
91
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— We propose the novel concept of cooperation for deafness prevention in directional antenna ad hoc networks, along with a low-complexity multiuser detector specialised for these...
82
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— We develop a framework to allow generic object detection algorithms to exploit geometric information commonly available to robot vision systems. Robot systems take pictures wit...
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
115
click to vote
SOCO
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...
126
click to vote
TLCA
2007
Springer
15 years 6 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...