1053 search results - page 112 / 211 » On k-Path Covers and their applications |
182
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
197
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...
155
click to vote
KER
2008
15 years 6 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
175
click to vote
JNW
2006
15 years 6 months ago
2006
Tracking of mobile targets is an important application of sensor networks. This is a non-trivial problem as the increased accuracy of tracking results in an overall reduction in th...
165
click to vote
EOR
2007
15 years 6 months ago
2007
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...