9425 search results - page 246 / 1885 » Some Notes on Models and Modelling |
128
click to vote
IRAL
2000
ACM
15 years 8 months ago
2000
ACM
Spoken document retrieval (SDR) has been extensively studied in recent years because of its potential use in navigating large multimedia collections in the near future. This paper...
127
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
125
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
129
click to vote
SMILE
2000
Springer
15 years 7 months ago
2000
Springer
A texture synthesis method is presented that generates similar texture from an example image. It is based on the emulation of simple but rather carefully chosen image intensity sta...
117
click to vote
ICDE
1987
IEEE
15 years 7 months ago
1987
IEEE
Handling parallelism in database systems involves the specification of a storage model, a placement strategy, and a query processing strategy. An important goal is to determine th...