1713 search results - page 175 / 343 » Analysis of Procedure Splitability |
90
Voted
SAT
2009
Springer
15 years 7 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...
92
Voted
ICASSP
2008
IEEE
15 years 7 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...
102
Voted
SIGDOC
2006
ACM
15 years 6 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...
153
click to vote
CIVR
2008
Springer
15 years 2 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...
125
Voted
ENTCS
2007
15 years 21 days 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-...