3457 search results - page 406 / 692 » A Symbol Is Not a Symbol |
178
click to vote
ECLIPSE
2004
ACM
16 years 7 days ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
197
click to vote
ADBIS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We propose a descriptive high-level language XDTrans devoted to specify transformations over XML data. The language is based on unranked tree automata approach. In contra...
231
click to vote
ADG
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
156
click to vote
AISC
2004
Springer
16 years 7 days ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...
186
click to vote
APN
2004
Springer
16 years 7 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...