11030 search results - page 50 / 2206 » Generative Sound Models |
CAV
2012
Springer
12 years 1 days ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
IPSN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract— Recently, several wireless sensor network studies demonstrated large discrepancies between experimentally observed communication properties and properties produced by w...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Human activity recognition and speech recognition appear to be two loosely related research areas. However, on a careful thought, there are several analogies between activity and ...
WSFM
2007
Springer
14 years 3 months ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...