759 search results - page 151 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
IJVR
2006
13 years 10 months ago
2006
In this paper, we introduce the "Garden Alive" system that allows users to interact with an emotionally intelligent virtual garden by manipulating tangible user interface...
ML
2000
ACM
13 years 10 months ago
2000
ACM
The naive Bayesian classifier provides a simple and effective approach to classifier learning, but its attribute independence assumption is often violated in the real world. A numb...
PVLDB
2008
13 years 10 months ago
2008
Query processing on uncertain data streams has attracted a lot of attentions lately, due to the imprecise nature in the data generated from a variety of streaming applications, su...
TITB
2008
13 years 10 months ago
2008
To support large-scale biomedical research projects, organizations need to share person-specific genomic sequences without violating the privacy of their data subjects. In the past...
CIKM
2010
Springer
13 years 9 months ago
2010
Springer
Computing shortest paths between two given nodes is a fundamental operation over graphs, but known to be nontrivial over large disk-resident instances of graph data. While a numbe...