1327 search results - page 251 / 266 » Data Dependent Circuit Design: A Case Study |
111
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
190
click to vote
GIS
2003
ACM
16 years 23 days ago
2003
ACM
With the proliferation of mobile computing, the ability to index efficiently the movements of mobile objects becomes important. Objects are typically seen as moving in two-dimensi...
189
click to vote
ICFP
2009
ACM
16 years 11 days ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
111
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: DNA microarray experiments are conducted in logical sets, such as time course profiling after a treatment is applied to the samples, or comparisons of the samples unde...
ICDM
2007
IEEE
15 years 3 months ago
2007
IEEE
The problem of selecting a sample subset sufficient to preserve diversity arises in many applications. One example is in the design of recombinant inbred lines (RIL) for genetic a...