18306 search results - page 3347 / 3662 » Algorithmics in Exponential Time |
134
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
136
Voted
ILP
2005
Springer
15 years 8 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
142
click to vote
IPTPS
2005
Springer
15 years 8 months ago
2005
Springer
In Peer-to-Peer networks based on consistent hashing and ring topology each server is responsible for an interval chosen (pseudo-)randomly on a circle. The topology of the network...
131
click to vote
LCTRTS
2005
Springer
15 years 8 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
122
click to vote
RT
2005
Springer
15 years 8 months ago
2005
Springer
We propose an adaptive form of frameless rendering with the potential to dramatically increase rendering speed over conventional interactive rendering approaches. Without the rigi...