933 search results - page 129 / 187 » Extending Forward Checking |
109
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
136
click to vote
WINE
2005
Springer
15 years 8 months ago
2005
Springer
Reserve price auctions are one of hot research topics in the traditional auction theory. Here we study the starting price in an online auction, counterpart of the public reserve pr...
128
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
108
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
As many authors have articulated, the “last mile problem” is often cited as a persistent engineering obstacle in deploying residential broadband solutions. Additionally, some ...
108
click to vote
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
—Advances in microsensor and radio technology will enable small but smart sensors to be deployed for a wide range of environmental monitoring applications. The low per-node cost ...