1860 search results - page 204 / 372 » Structured Multimedia Authoring |
130
click to vote
TOG
2008
15 years 3 months ago
2008
Character animation in video games--whether manually keyframed or motion captured--has traditionally relied on codifying skeletons early in a game's development, and creating...
135
click to vote
JLP
2007
15 years 3 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
152
click to vote
TPDS
1998
15 years 3 months ago
1998
—We suggest a method of controlling the access to a secure database via quorum systems. A quorum system is a collection of sets (quorums) every two of which have a nonempty inter...
131
click to vote
PVLDB
2008
15 years 3 months ago
2008
DBPubs is a system for effectively analyzing and exploring the content of database publications by combining keyword search with OLAP-style aggregations, navigation, and reporting...
158
click to vote
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
In this paper we present tools that provide an easy way to edit XML content directly on the web, with the usual benefit of valid XML content. These tools make it possible to crea...