Sciweavers

227 search results - page 24 / 46
» A Fully Automatic Crossword Generator
Sort
View
SFP
2003
14 years 11 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer
SI3D
2010
ACM
15 years 4 months ago
Frankenrigs: building character rigs from multiple sources
We present a new rigging and skinning method which uses a database of partial rigs extracted from a set of source characters. Given a target mesh and a set of joint locations, our...
Christian Miller, Okan Arikan, Don Fussell
CIVR
2006
Springer
131views Image Analysis» more  CIVR 2006»
15 years 1 months ago
Exploring the Synergy of Humans and Machines in Extreme Video Retrieval
We introduce an interface for efficient video search that exploits the human ability to quickly scan visual content, after automatic retrieval has arrange the images in expected or...
Alexander G. Hauptmann, Wei-Hao Lin, Rong Yan, Jun...
POPL
2010
ACM
15 years 4 months ago
Ypnos: declarative, parallel structured grid programming
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
ISBI
2006
IEEE
15 years 10 months ago
A flexible framework for Web interfaces to image databases: supporting user-defined ontologies and links to external databases
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
Josiah Johnston, Arpun Nagaraja, Harry Hochheiser,...