Sciweavers

7978 search results - page 564 / 1596
» Combining shared-coin algorithms
Sort
View
LATIN
2004
Springer
16 years 12 days ago
How Expressions Can Code for Automata
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
Sylvain Lombardy, Jacques Sakarovitch
MICCAI
2004
Springer
16 years 12 days ago
An Anisotropic Material Model for Image Guided Neurosurgery
In order to combine preoperative data with intraoperative scans for image-guided neurosurgery visualization, accurate registration is necessary. It has been determined previously t...
Corey Kemper, Ion-Florin Talos, Alexandra Golby, P...
KBSE
2003
IEEE
16 years 9 days ago
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
Eugenia Díaz, Javier Tuya, Raquel Blanco
ICAIL
2003
ACM
16 years 9 days ago
Predicting Outcomes of Case-Based Legal Arguments
In this paper, we introduce IBP, an algorithm that combines g with an abstract domain model and case-based reasoning techniques to predict the outcome of case-based legal argument...
Stefanie Brüninghaus, Kevin D. Ashley
MIR
2003
ACM
97views Multimedia» more  MIR 2003»
16 years 9 days ago
Sports video summarization using highlights and play-breaks
To manage the massive growth of sport videos, we need to summarize the contents into a more compact and interesting representation. Unlike previous work which summarized either hi...
Dian Tjondronegoro, Yi-Ping Phoebe Chen, Binh Pham