Sciweavers

3055 search results - page 329 / 611
» Conceptual Modeling for Data Integration
Sort
View
ICALT
2003
IEEE
15 years 11 months ago
A Metadata Model for Capturing Presentations
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
Ralf Einhorn, Stephan Olbrich, Wolfgang Nejdl
NIPS
2001
15 years 7 months ago
The Infinite Hidden Markov Model
We show that it is possible to extend hidden Markov models to have a countably infinite number of hidden states. By using the theory of Dirichlet processes we can implicitly integ...
Matthew J. Beal, Zoubin Ghahramani, Carl Edward Ra...
ATAL
2010
Springer
15 years 7 months ago
AgentC: agent-based testbed for adversarial modeling and reasoning in the maritime domain
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
Michal Jakob, Ondrej Vanek, Stepán Urban, P...
SECRYPT
2010
147views Business» more  SECRYPT 2010»
15 years 3 months ago
Security Models for Heterogeneous Networking
Security for Next Generation Networks (NGNs) is an attractive topic for many research groups. The Y-Comm security group believes that a new security approach is needed to address t...
Glenford E. Mapp, Mahdi Aiash, Aboubaker Lasebae, ...
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
16 years 24 days ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...