Sciweavers

1043 search results - page 71 / 209
» Using Function Generalization to Design a Cosequential Proce...
Sort
View
141
Voted
SUTC
2006
IEEE
15 years 8 months ago
Design and Implementation of Ubiquitous Smart Cameras
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
Chang Hong Lin, Wayne Wolf, Andrew Dixon, Xenofon ...
121
Voted
DAC
2002
ACM
16 years 3 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
176
Voted
OOPSLA
2007
Springer
15 years 8 months ago
Component nextgen: a sound and expressive component framework for java
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
James Sasitorn, Robert Cartwright
139
Voted
ICIP
2007
IEEE
16 years 4 months ago
Kernels on Bags of Fuzzy Regions for Fast Object retrieval
We propose in this paper a general kernel framework to deal with database object retrieval embedded in images with heterogeneous background. We use local features computed on fuzz...
Philippe Henri Gosselin, Matthieu Cord, Sylvie Phi...
129
Voted
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 6 months ago
Stochastic control over finite capacity channels: Causality, feedback and uncertainty
Abstract-- Optimal communication/control analysis and design of dynamical controlled systems, when there are finite capacity communication constraints often involve information and...
Charalambos D. Charalambous, Christos K. Kourtella...