Sciweavers

7693 search results - page 1392 / 1539
» Design and Implementation of the FRIENDS System
Sort
View
166
Voted
JCDL
2005
ACM
98views Education» more  JCDL 2005»
15 years 11 months ago
Using collection descriptions to enhance an aggregation of harvested item-level metadata
As an increasing number of digital library projects embrace the harvesting of item-level descriptive metadata, issues of description granularity and concerns about potential loss ...
Muriel Foulonneau, Timothy W. Cole, Thomas G. Habi...
CAV
2005
Springer
127views Hardware» more  CAV 2005»
15 years 11 months ago
Incremental and Complete Bounded Model Checking for Full PLTL
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
Keijo Heljanko, Tommi A. Junttila, Timo Latvala
IDEAL
2005
Springer
15 years 11 months ago
Combining Influence Maps and Cellular Automata for Reactive Game Agents
Agents make up an important part of game worlds, ranging from the characters and monsters that live in the world to the armies that the player controls. Despite their importance, a...
Penelope Sweetser, Janet Wiles
160
Voted
ISMDA
2005
Springer
15 years 11 months ago
The Ontological Lens: Zooming in and out from Genomic to Clinical Level
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
Domenico M. Pisanelli, Francesco Pinciroli, Marco ...
MM
2004
ACM
244views Multimedia» more  MM 2004»
15 years 11 months ago
Automatic replay generation for soccer video broadcasting
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
Jinjun Wang, Changsheng Xu, Chng Eng Siong, Kongwa...
« Prev « First page 1392 / 1539 Last » Next »