528 search results - page 81 / 106 » Computing Large and Small Stable Models |
111
Voted
QUESTA
2007
15 years 2 months ago
2007
We propose a new queueing model named the acquisition queue. It differs from conventional queueing models in that the server not only serves customers, but also performs acquisit...
132
Voted
ASPDAC
2010
ACM
15 years 17 days ago
2010
ACM
- Dynamic power consumption in CMOS circuits is usually estimated based on the number of signal transitions. However, when considering glitches, this is not accurate because narrow...
117
Voted
JISE
2010
14 years 9 months ago
2010
In dealing with large datasets the reduced support vector machine (RSVM) was proposed for the practical objective to overcome the computational difficulties as well as to reduce t...
128
Voted
AAAI
2011
14 years 2 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
192
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...