6020 search results - page 68 / 1204 » A New Approach to Model Counting |
129
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model ...
122
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
137
Voted
ISM
2006
IEEE
15 years 3 months ago
2006
IEEE
In this work, we propose new graph-based data model and indexing to organize and manage video data. To consider spatial and temporal characteristics of video, we introduce a new g...
133
Voted
SIGIR
1999
ACM
15 years 8 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
143
Voted
TSD
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents two different approaches to automatic captioning of geo-tagged images by summarizing multiple web-documents that contain information related to an image’s lo...