5165 search results - page 606 / 1033 » Consistency of the Neighbor-Net Algorithm |
182
click to vote
TIME
2002
IEEE
16 years 15 days ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
222
click to vote
KR
2010
Springer
16 years 11 days ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
217
click to vote
KR
2010
Springer
16 years 11 days 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...
181
click to vote
CDC
2009
IEEE
16 years 9 days 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...
180
click to vote
CONCUR
2001
Springer
16 years 3 days 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...