Sciweavers

2132 search results - page 289 / 427
» The Challenges of Automatic Summarization
Sort
View
IROS
2009
IEEE
126views Robotics» more  IROS 2009»
14 years 3 months ago
Hierarchical appearance-based classifiers for qualitative spatial localization
—This paper presents a novel appearance-based technique for qualitative spatial localization. A vocabulary of visual words is built automatically, representing local features tha...
Ehsan Fazl Ersi, James H. Elder, John K. Tsotsos
IV
2009
IEEE
107views Visualization» more  IV 2009»
14 years 3 months ago
Multiscale Visual Analysis of Lexical Networks
A lexical network is a very useful resource for natural language processing systems. However, building high quality lexical networks is a complex task. “Jeux de mots” is a web...
Guillaume Artignan, Mountaz Hascoët, Mathieu ...
MICRO
2009
IEEE
113views Hardware» more  MICRO 2009»
14 years 3 months ago
Portable compiler optimisation across embedded programs and microarchitectures using machine learning
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
Christophe Dubach, Timothy M. Jones, Edwin V. Boni...
EUROPAR
2009
Springer
14 years 3 months ago
POGGI: Puzzle-Based Online Games on Grid Infrastructures
Massively Multiplayer Online Games (MMOGs) currently entertain millions of players daily. To keep these players online and generate revenue, MMOGs are currently relying on manually...
Alexandru Iosup
ICFEM
2009
Springer
14 years 3 months ago
Circular Coinduction with Special Contexts
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
Dorel Lucanu, Grigore Rosu