Sciweavers

6141 search results - page 392 / 1229
» Models and representation of their ownership
Sort
View
ICASSP
2009
IEEE
15 years 10 months ago
Strategies for modeling reverberant speech in the feature domain
The length of the room impulse response characterizing the acoustic path between speaker and microphone is significantly larger than the length of the analysis window used for fea...
Armin Sehr, Walter Kellermann
CAV
2004
Springer
121views Hardware» more  CAV 2004»
15 years 10 months ago
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
HoonSang Jin, Mohammad Awedh, Fabio Somenzi
AUSDM
2006
Springer
102views Data Mining» more  AUSDM 2006»
15 years 10 months ago
Weighted Kernel Model For Text Categorization
Traditional bag-of-words model and recent wordsequence kernel are two well-known techniques in the field of text categorization. Bag-of-words representation neglects the word orde...
Lei Zhang, Debbie Zhang, Simeon J. Simoff, John K....
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 10 months ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim
225
Voted
EUROS
2008
194views Robotics» more  EUROS 2008»
15 years 8 months ago
Compiling POMDP Models for a Multimodal Service Robot from Background Knowledge
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
Sven R. Schmidt-Rohr, Rainer Jäkel, Martin L&...