Sciweavers

6306 search results - page 81 / 1262
» Space, Time, and the Use of Language
Sort
View
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
15 years 4 months ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
PCM
2004
Springer
102views Multimedia» more  PCM 2004»
15 years 3 months ago
Background Modeling Using Phase Space for Day and Night Video Surveillance Systems
This paper presents a novel background modeling approach for day and night video surveillance. A great number of background models have been proposed to represent the background sc...
Yu-Ming Liang, Arthur Chun-Chieh Shih, Hsiao-Rong ...
ACL
1998
14 years 11 months ago
Entity-Based Cross-Document Coreferencing Using the Vector Space Model
Cross-document coreference occurs when the same person, place, event, or concept is discussed in more than one text source. Computer recognition of this phenomenon is important be...
Amit Bagga, Breck Baldwin
ICRA
2002
IEEE
70views Robotics» more  ICRA 2002»
15 years 2 months ago
The Operational Space Formulation Implementation to Aircraft Canopy Polishing using a Mobile Manipulator
The Operational Space Formulation creates a framework for the analysis and control of manipulator systems with respect to the behavior of their end-effectors. Its application to ...
Rodrigo S. Jamisola, Marcelo H. Ang, Denny Oetomo,...
ICDCS
2007
IEEE
15 years 4 months ago
Approximate Covering Detection among Content-Based Subscriptions Using Space Filling Curves
We consider a problem that arises during the propagation of subscriptions in a contentbased publish-subscribe system. Subscription covering is a promising optimization that reduce...
Zhenhui Shen, Srikanta Tirthapura