5084 search results - page 674 / 1017 » Proving Possibility Properties |
190
click to vote
CP
2003
Springer
16 years 3 hour ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
184
Voted
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
We describe how to build a network intrusion detection sensor by slightly modifying NASA’s CLIPS source code introducing some new features. An overview of the system is presente...
188
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—Systems based on satellite localization are enabling new scenarios for road charging schemes by offering the possibility to charge drivers as a function of their road usage. An ...
189
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...
178
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...