Sciweavers

20066 search results - page 222 / 4014
» T Spaces
Sort
View
ASAP
2005
IEEE
108views Hardware» more  ASAP 2005»
16 years 8 days ago
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
Thomas Schlichter, Christian Haubelt, Frank Hannig...
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
16 years 7 days ago
Enhancing curvature scale space features for robust shape classification
The curvature scale space (CSS) technique, which is also part of the MPEG-7 standard is a robust method to describe complex shapes.The central idea is to analyze the curvature of ...
Stephan Kopf, Thomas Haenselmann, Wolfgang Effelsb...
CAV
2005
Springer
86views Hardware» more  CAV 2005»
16 years 5 days ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
GECCO
2005
Springer
125views Optimization» more  GECCO 2005»
16 years 5 days ago
Improving EA-based design space exploration by utilizing symbolic feasibility tests
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...
Thomas Schlichter, Christian Haubelt, Jürgen ...
MLCW
2005
Springer
16 years 4 days ago
Learning Textual Entailment on a Distance Feature Space
Textual Entailment recognition is a very difficult task as it is one of the fundamental problems in any semantic theory of natural language. As in many other NLP tasks, Machine Lea...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...