5216 search results - page 952 / 1044 » Planning as Model Checking |
167
click to vote
AI
2004
Springer
15 years 3 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
147
click to vote
JSAC
2007
15 years 3 months ago
2007
— In WDM optical networks connection requests can be classified into three different types: Permanent Lightpath Demands (PLDs), Scheduled Lightpath Demands (SLDs), and Random Li...
126
click to vote
CAD
2004
Springer
15 years 3 months ago
2004
Springer
In recent years, geometry processing algorithms that directly operate on polygonal meshes have become an indispensable tool in computer graphics, CAD/CAM applications, numerical s...
120
click to vote
CN
2004
15 years 3 months ago
2004
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
167
click to vote
AGIS
1998
15 years 3 months ago
1998
With the development of modern cities, 3-D spatial information systems (SIS) are increasingly required for spatial planning, communication systems and other applications. The geom...