4372 search results - page 348 / 875 » Algorithmic Theories of Everything |
170
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
Variables are the distinguishing new feature of XPath 2.0 which permits to select n-tuples of nodes in trees. It is known that the Core of XPath 2.0 captures n-ary first-order (FO...
185
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
157
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
164
click to vote
ISCSCT
2008
IEEE
16 years 1 months ago
2008
IEEE
3D reconstruction has a long history, few workable reconstruction systems are available although many magnificent theories and algorithms are reported in literature. In this paper...
135
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents the detailed design of the ARM VFP11 Divide and Square Root synthesisable macrocell. The macrocell was designed using the minimum-redundancy radix-4 SRT digit ...