2468 search results - page 331 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
149
click to vote
ICVGIP
2004
15 years 5 months ago
2004
This paper presents an approach for a multi-cue, viewbased recognition of gestures. We describe an exemplarbased technique that combines two different forms of exemplars - shape e...
128
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
108
click to vote
TASLP
2010
15 years 2 months ago
2010
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
114
Voted
WSC
2000
15 years 5 months ago
2000
MODELING FOR ENGINEERING AND ENGAGEMENT LEVEL SIMULATIONS Robert M. McGraw Richard A. MacDonald RAM Laboratories, Inc. 6540 Lusk Boulevard, Suite C200 San Diego, CA 92121, U.S.A. ...
147
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...