Sciweavers

543 search results - page 62 / 109
» Overview of WebCLEF 2007
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
14 years 2 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
ISSAC
2007
Springer
131views Mathematics» more  ISSAC 2007»
14 years 2 months ago
Some recent progress in exact linear algebra and related questions
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
Gilles Villard
IVA
2007
Springer
14 years 2 months ago
Avatar Puppetry Using Real-Time Audio and Video Analysis
Abstract. We present a system which consists of a lifelike agent animated in real-time using video and audio analysis from the user. This kind of system could be used for Instant M...
Sylvain Le Gallou, Gaspard Breton, Renaud Sé...
KI
2007
Springer
14 years 2 months ago
Inductive Synthesis of Recursive Functional Programs
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
Martin Hofmann 0008, Andreas Hirschberger, Emanuel...
NLDB
2007
Springer
14 years 2 months ago
Text Segmentation Based on Document Understanding for Information Retrieval
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
Violaine Prince, Alexandre Labadié