11397 search results - page 87 / 2280 » A Relational Abstraction for Functions |
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
Feedback Control for Character Animation Using an Abstract Model Yuting Ye C. Karen Liu Georgia Institute of Technology∗ Real-time adaptation of a motion capture sequence to vir...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
MSCS
2010
13 years 8 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
IJAC
2000
13 years 9 months ago
2000
We study the Dehn functions of amalgamations, introducing the notion of strongly undistorted subgroups. Using this, we give conditions under which taking an amalgamation does not i...
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...