1713 search results - page 175 / 343 » Analysis of Procedure Splitability |
115
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...
119
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose a novel feature set for speaker recognition that is based on the voice source signal. The feature extraction process uses closed-phase LPC analysis to estimate the voca...
120
click to vote
SIGDOC
2006
ACM
15 years 9 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
177
Voted
CIVR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, a motion-based approach for detecting highlevel semantic events in video sequences is presented. Its main characteristic is its generic nature, i.e. it can be direc...
145
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...