1086 search results - page 113 / 218 » Points surrounding the origin |
107
click to vote
ECP
1997
Springer
15 years 5 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
113
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...
134
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...
141
click to vote
SI3D
1995
ACM
15 years 5 months ago
1995
ACM
This paper presents an algorithm for shadow calculation in dynamic polyhedral scenes illuminated by point light sources. It is based on a modi cation of Shadow Volume Binary Space...
133
click to vote
DLOG
2007
15 years 3 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...