11030 search results - page 154 / 2206 » Generative Sound Models |
167
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
156
click to vote
CGF
1999
15 years 6 months ago
1999
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...
177
click to vote
PRICAI
2010
Springer
15 years 4 months ago
2010
Springer
Conventional methods for multimodal data retrieval use text-tag based or cross-modal approaches such as tag-image co-occurrence and canonical correlation analysis. Since there are ...
140
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
In many application fields, huge binary datasets modeling real life-phenomena are daily produced. The dataset records are usually associated with observations of some events, and...
168
click to vote
ICSEA
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...