7326 search results - page 1293 / 1466 » Methods for modalities 3 |
174
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
190
Voted
AIMSA
2010
Springer
15 years 7 months ago
2010
Springer
We propose ontological blending as a new method for `creatively' combining ontologies. In contrast to other combination techniques that aim at integrating or assimilating cate...
159
click to vote
ALENEX
2010
15 years 7 months ago
2010
Previously [SODA'04] we devised the fastest known algorithm for 4-universal hashing. The hashing was based on small pre-computed 4-universal tables. This led to a five-fold i...
172
click to vote
APVIS
2010
15 years 7 months ago
2010
A range of well-known treatment methods for destroying tumor and similar harmful growth in human body utilizes the coherence between the inherently periodic movement of the affect...
146
click to vote
TRECVID
2008
15 years 7 months ago
2008
The Oxford/IIIT team participated in the high-level feature extraction and interactive search tasks. A vision only approach was used for both tasks, with no use of the text or aud...