3381 search results - page 457 / 677 » Extending Dependencies with Conditions |
218
click to vote
ECAL
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Many researchers are developing frameworks inspired by natural, especially biological, systems to solve complex real-world problems. This work extends previous work in th...
213
click to vote
ICLP
2005
Springer
16 years 22 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
233
click to vote
IPSN
2005
Springer
16 years 21 days ago
2005
Springer
Abstract— This paper considers the problem of tracking objects with sparsely located binary sensors. Tracking with a sensor network is a challenging task due to the inaccuracy of...
159
click to vote
SEMWEB
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
170
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...