1585 search results - page 152 / 317 » A framework for computer-aided validation |
129
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...
162
Voted
ACCV
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes the kernel orthogonal mutual subspace method (KOMSM) for 3D object recognition. KOMSM is a kernel-based method for classifying sets of patterns such as video fr...
115
Voted
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The paper presents a method to guide the self-organised development of behaviours of autonomous robots. In earlier publications we demonstrated how to use the homeokinesi...
116
Voted
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a novel approach to structure learning for graphical models. By using nonparametric estimates to model clique densities in decomposable models, both discrete a...
129
click to vote
ICOST
2007
Springer
15 years 9 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...