456 search results - page 71 / 92 » Distinctiveness in multimodal behaviors |
103
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
Abstract— Frequency dependent interconnect analysis is challenging since lumped equivalent circuit models extracted at different frequencies exhibit distinct time and frequency d...
CRV
2006
IEEE
14 years 11 months ago
2006
IEEE
- This paper concerns the autonomous tracking of fish using a Remotely Operated Vehicle (ROV) equipped with a single camera. An efficient image processing algorithm is presented th...
DLS
2005
14 years 11 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
CLUSTER
2007
IEEE
14 years 11 months ago
2007
IEEE
— The complexity of today’s computer systems poses a challenge to system administrators. Current systems comprise a multitude of inter-related software components running on di...