11030 search results - page 154 / 2206 » Generative Sound Models |
186
Voted
ICTAC
2004
Springer
16 years 9 days 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...
167
Voted
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...
192
click to vote
PRICAI
2010
Springer
15 years 5 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 ...
147
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...
181
click to vote
ICSEA
2007
IEEE
16 years 1 months 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...