Sciweavers

3971 search results - page 353 / 795
» On the Use of Properties in Java Applications
Sort
View
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 months ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
ICPR
2010
IEEE
15 years 10 months ago
Cell Tracking in Video Microscopy Using Bipartite Graph Matching
Automated visual tracking of cells from video microscopy has many important biomedical applications. In this paper, we model the problem of cell tracking over pairs of video micro...
Ananda Chowdhury, Rohit Chatterjee, Mayukh Ghosh, ...
HCI
2007
15 years 8 months ago
A Navigation System Using Ultrasonic Directional Speaker with Rotating Base
This paper proposes new method for object reference which enables a person to find surrounding objects and develops a navigation system named CoCo. CoCo employs an ultrasonic direc...
Kentaro Ishii, Yukiko Yamamoto, Michita Imai, Kazu...
154
Voted
IJAR
2008
67views more  IJAR 2008»
15 years 6 months ago
Implementing semantic merging operators using binary decision diagrams
There is a well-recognised need in diverse applications for reasoning with multiple, potentially inconsistent sources of information. One approach is to represent each source of i...
Nikos Gorogiannis, Anthony Hunter
PUC
2008
81views more  PUC 2008»
15 years 6 months ago
Using job-shop scheduling tasks for evaluating collocated collaboration
Researchers have begun to explore tools that allow multiple users to collaborate across multiple devices in collocated environments. These tools often allow users to simultaneously...
Desney S. Tan, Darren Gergle, Regan L. Mandryk, Ko...