3865 search results - page 633 / 773 » From Bidirectionality to Alternation |
221
Voted
ICWL
2004
Springer
16 years 12 days ago
2004
Springer
This paper describes a system for the animation of algorithms on an electronic chalkboard. The instructor teaching an algorithm can enter data directly through a drawing- the algor...
180
Voted
JELIA
2004
Springer
16 years 12 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
201
Voted
VLDB
2004
ACM
16 years 11 days ago
2004
ACM
Data-driven animation has become the industry standard for computer games and many animated movies and special effects. In particular, motion capture data recorded from live actor...
231
click to vote
FOCS
2003
IEEE
16 years 10 days ago
2003
IEEE
A directed multigraph is said to be d-regular if the indegree and outdegree of every vertex is exactly d. By Hall’s theorem one can represent such a multigraph as a combination ...
183
Voted
INFOCOM
2003
IEEE
16 years 9 days ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...