Sciweavers

4123 search results - page 255 / 825
» Multiple Relational Embedding
Sort
View
ISVC
2005
Springer
16 years 5 days ago
Background Updating for Visual Surveillance
Scene changes such as moved objects, parked vehicles, or opened/closed doors need to be carefully handled so that interesting foreground targets can be detected along with the shor...
Kyungnam Kim, David Harwood, Larry S. Davis
TLCA
2005
Springer
16 years 5 days ago
Proof Contexts with Late Binding
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
Virgile Prevosto, Sylvain Boulmé
MHCI
2004
Springer
16 years 1 days ago
Butler: A Universal Speech Interface for Mobile Environments
Abstract. Speech interfaces are about to be integrated in consumer appliances and embedded systems and are expected to be used by mobile users in ubiquitous computing environments....
Botond Pakucs
TAL
2004
Springer
16 years 22 hour ago
Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers
Abstract. We define Probabilistic Constrained W-grammars (PCWgrammars), a two-level formalism capable of capturing grammatical frameworks used in two state of the art parsers, nam...
Gabriel G. Infante López, Maarten de Rijke
DATE
2003
IEEE
91views Hardware» more  DATE 2003»
15 years 12 months ago
Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van...