11030 search results - page 338 / 2206 » Generative Sound Models |
168
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
182
click to vote
IJIT
2004
15 years 8 months ago
2004
Developing techniques for mobile robot navigation constitutes one of the major trends in the current research on mobile robotics. This paper develops a local model network (LMN) fo...
168
click to vote
ACL
1990
15 years 7 months ago
1990
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
240
click to vote
ECCV
2008
Springer
16 years 11 months ago
2008
Springer
We consider the problem of multi-label, supervised image segmentation when an initial labeling of some pixels is given. In this paper, we propose a new generative image segmentatio...
141
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Pulse-based data transmission has been demonstrated as a power-saving and high performance alternative to level-based signalling over global distances. Key to its correc...