Sciweavers

2711 search results - page 302 / 543
» Mapping sequences by parts
Sort
View
185
Voted
DAC
1994
ACM
15 years 10 months ago
Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
Pai H. Chou, Gaetano Borriello
COSIT
2007
Springer
107views GIS» more  COSIT 2007»
15 years 10 months ago
A Uniform Handling of Different Landmark Types in Route Directions
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
Kai-Florian Richter
GECCO
2009
Springer
190views Optimization» more  GECCO 2009»
15 years 10 months ago
Genetic programming for protein related text classification
Since the genomics revolution, bioinformatics has never been so popular. Many researchers have investigated with great success the use of evolutionary computation in bioinformatic...
Marc Segond, Cyril Fonlupt, Denis Robilliard
AMDO
2006
Springer
15 years 10 months ago
Emotional Facial Expression Classification for Multimodal User Interfaces
We present a simple and computationally feasible method to perform automatic emotional classification of facial expressions. We propose the use of 10 characteristic points (that ar...
Eva Cerezo, Isabelle Hupont
CSL
1995
Springer
15 years 10 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle