Sciweavers

1698 search results - page 201 / 340
» Growing Complex Games
Sort
View
BMCBI
2005
130views more  BMCBI 2005»
14 years 10 months ago
MiMiR: a comprehensive solution for storage, annotation and exchange of microarray data
Background: The generation of large amounts of microarray data presents challenges for data collection, annotation, exchange and analysis. Although there are now widely accepted f...
Mahendra Navarange, Laurence Game, Derek Fowler, V...
CGF
2010
199views more  CGF 2010»
14 years 9 months ago
Time-of-Flight Cameras in Computer Graphics
A growing number of applications depend on accurate and fast 3D scene analysis. Examples are model and lightfield acquisition, collision prevention, mixed reality, and gesture re...
Andreas Kolb, Erhardt Barth, Reinhard Koch, Rasmus...
SIGMOD
2009
ACM
122views Database» more  SIGMOD 2009»
15 years 10 months ago
Finding min-repros in database software
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
Nicolas Bruno, Rimma V. Nehme
LICS
2006
IEEE
15 years 4 months ago
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
C.-H. Luke Ong
WWW
2004
ACM
15 years 10 months ago
Event synchronization for interactive cyberdrama generation on the web: a distributed approach
The digital generation of a story in which users have influence over the narrative is emerging as an exciting example of computer-based interactive entertainment. Interactive stor...
Stefano Ferretti, Marco Roccetti