4126 search results - page 636 / 826 » Relationships with other Formalisms |
175
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
187
click to vote
IPSN
2004
Springer
15 years 12 months ago
2004
Springer
Topology management schemes conserve energy in wireless ad hoc networks by identifying redundant nodes that may turn off their radios or other components while maintaining connec...
184
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
160
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
158
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...