961 search results - page 41 / 193 » Automatic design synthesis with artificial intelligence tech... |
CLEAR
2007
Springer
15 years 7 months ago
2007
Springer
Automatic speaker localization is an important task in several applications such as acoustic scene analysis, hands-free videoconferencing orspeechenhancement.Trackingspeakersinmult...
124
click to vote
AISC
2008
Springer
15 years 3 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
FLAIRS
2006
15 years 2 months ago
2006
The main contribution of this paper is to suggest a novel technique for automatic creation of accurate ensembles. The technique proposed, named GEMS, first trains a large number o...
AIPS
2004
15 years 2 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
124
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...