4902 search results - page 852 / 981 » Structures, Semantics and Statistics |
129
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
112
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
135
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a new method for editing and retargeting motions that involve close interactions between body parts of single or multiple articulated characters, such as danci...
155
click to vote
RTA
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we give a simple and uniform presentation of the rewriting calculus, also called Rho Calculus. In addition to its simplicity, this formulation explicitly allows us to...
159
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...