7215 search results - page 959 / 1443 » On the Consistency of Ranking Algorithms |
204
click to vote
KR
2010
Springer
15 years 12 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
171
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...
169
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
185
click to vote
FPL
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
227
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...