Sciweavers

2586 search results - page 151 / 518
» Automatic Abstraction for Congruences
Sort
View
MICCAI
2006
Springer
15 years 11 months ago
Retina Mosaicing Using Local Features
Abstract. Laser photocoagulation is a proven procedure to treat various pathologies of the retina. Challenges such as motion compensation, correct energy dosage, and avoiding incid...
Gábor Székely, Herbert Bay, Luc J. V...
CICLING
2009
Springer
15 years 10 months ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel
CICLING
2009
Springer
15 years 10 months ago
Estimating Risk of Picking a Sentence for Document Summarization
Abstract. Automatic Document summarization is proving to be an increasingly important task to overcome the information overload. The primary task of document summarization process ...
Chandan Kumar, Prasad Pingali, Vasudeva Varma
VLSID
2004
IEEE
138views VLSI» more  VLSID 2004»
15 years 10 months ago
Synthesis-driven Exploration of Pipelined Embedded Processors
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
CADE
2008
Springer
15 years 10 months ago
Multi-completion with Termination Tools (System Description)
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for ...
Haruhiko Sato, Sarah Winkler, Masahito Kurihara, A...