2036 search results - page 72 / 408 » A generic type-and-effect system |
155
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper presents a configurable and generic platform architecture suitable to interface several kinds of sensors for automotive applications. A platform-based design approach i...
178
click to vote
VISAPP
2007
15 years 7 months ago
2007
Having as a main motivation the development of robust and high performing robot vision systems that can operate in dynamic environments, we propose a context-based generic vision s...
162
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a generic software architecture for large-scale distributed applications in which mobile agents are an integral part. We developed this architecture through th...
184
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
149
click to vote
ACL
2006
15 years 7 months ago
2006
This paper proposes a generic mathematical formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polarization of the objects ...