1366 search results - page 125 / 274 » Modularizing Contexted Constraints |
111
Voted
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
106
click to vote
EUROPAR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. A large number of techniques for location estimation relying on the existing wireless radio infrastructures have been proposed in the last few years. Solutions relying on...
ASAP
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
91
Voted
SIGOPS
2008
14 years 11 months ago
2008
This paper presents PipesFS, an I/O architecture for Linux 2.6 that increases I/O throughput and adds support for heterogeneous parallel processors by (1) collapsing many I/O inte...
TSP
2008
14 years 11 months ago
2008
An array-based algorithm for multichannel lattice filtering is proposed. The filter is formed by a set of units that are adapted locally and concurrently using recursions that clos...