Sciweavers

14382 search results - page 289 / 2877
» Time in Connectionist Models
Sort
View
AAAI
2012
13 years 9 months ago
Discovering Constraints for Inductive Process Modeling
Scientists use two forms of knowledge in the construction of explanatory models: generalized entities and processes that relate them; and constraints that specify acceptable combi...
Ljupco Todorovski, Will Bridewell, Pat Langley
CVPR
2012
IEEE
13 years 9 months ago
Robust visual tracking using autoregressive hidden Markov Model
Recent studies on visual tracking have shown significant improvement in accuracy by handling the appearance variations of the target object. Whereas most studies present schemes ...
Dong Woo Park, Junseok Kwon, Kyoung Mu Lee
ACL
2012
13 years 9 months ago
Historical Analysis of Legal Opinions with a Sparse Mixed-Effects Latent Variable Model
We propose a latent variable model to enhance historical analysis of large corpora. This work extends prior work in topic modelling by incorporating metadata, and the interactions...
William Yang Wang, Elijah Mayfield, Suresh Naidu, ...
ATVA
2010
Springer
148views Hardware» more  ATVA 2010»
15 years 7 months ago
Recursive Timed Automata
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
Ashutosh Trivedi, Dominik Wojtczak
CAISE
2009
Springer
15 years 11 months ago
Incremental Detection of Model Inconsistencies Based on Model Operations
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom...