4139 search results - page 571 / 828 » Designing and Implementing Combinator Languages |
162
click to vote
JIRS
2008
15 years 4 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
175
click to vote
CACM
2000
15 years 4 months ago
2000
Wireless Integrated Network Sensors (WINS) now provide a new monitoring and control capability for transportation, manufacturing, health care, environmental monitoring, and safety...
138
click to vote
MJ
2007
15 years 4 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
152
click to vote
PVLDB
2010
15 years 3 months ago
2010
Query co-processing on graphics processors (GPUs) has become an effective means to improve the performance of main memory databases. However, this co-processing requires the data ...
165
Voted
SPIRE
2010
Springer
15 years 3 months ago
2010
Springer
Several IR tasks rely, to achieve high efficiency, on a single pervasive data structure called the inverted index. This is a mapping from the terms in a text collection to the docu...