Sciweavers

4123 search results - page 155 / 825
» Multiple Relational Embedding
Sort
View
ICCD
2003
IEEE
98views Hardware» more  ICCD 2003»
16 years 1 months ago
Specifying and Verifying Systems with Multiple Clocks
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
ISRR
2005
Springer
178views Robotics» more  ISRR 2005»
15 years 10 months ago
Improved Estimation of Target Velocity Using Multiple Model Estimation and a Dynamic Bayesian Network for a Robotic Tracker of O
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...
Aaron Plotnik, Stephen Rock
SIGMOD
2010
ACM
151views Database» more  SIGMOD 2010»
15 years 5 months ago
Exploring schema similarity at multiple resolutions
Large, dynamic, and ad-hoc organizations must frequently initiate data integration and sharing efforts with insufficient awareness of how organizational data sources are related. ...
Ken Smith, Craig Bonaceto, Chris Wolf, Beth Yost, ...
CVIU
2006
110views more  CVIU 2006»
15 years 5 months ago
Simultaneous tracking of multiple body parts of interacting persons
This paper presents a framework to simultaneously segment and track multiple body parts of interacting humans in the presence of mutual occlusion and shadow. The framework uses mu...
Sangho Park, Jake K. Aggarwal
114
Voted
TARK
2007
Springer
15 years 11 months ago
Sequential voting rules and multiple elections paradoxes
Multiple election paradoxes arise when voting separately on each issue from a set of related issues results in an obviously undesirable outcome. Several authors have argued that a...
Lirong Xia, Jérôme Lang, Mingsheng Yi...