Sciweavers

29172 search results - page 125 / 5835
» Modeling Systems in CLP
Sort
View
DALT
2010
Springer
13 years 5 months ago
A Deduction System for Meaning Negotiation
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...
Elisa Burato, Matteo Cristani, Luca Viganò
CCSECIS
2011
47views more  CCSECIS 2011»
12 years 10 months ago
A Simulation System of Social Economic
Macro-control is an important system of regulation in the body of socialist market economy; it plays a significant role in the social economy. To make it come into play, it is nec...
Zhao MingXia, Qiuyan He
ICDAR
2011
IEEE
12 years 9 months ago
OCR-Driven Writer Identification and Adaptation in an HMM Handwriting Recognition System
—We present an OCR-driven writer identification algorithm in this paper. Our algorithm learns writer-specific characteristics more precisely from explicit character alignment usi...
Huaigu Cao, Rohit Prasad, Prem Natarajan
CONCUR
2012
Springer
12 years 14 days ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
CVPR
2007
IEEE
15 years 2 days ago
Discriminative Learning of Dynamical Systems for Motion Tracking
We introduce novel discriminative learning algorithms for dynamical systems. Models such as Conditional Random Fields or Maximum Entropy Markov Models outperform the generative Hi...
Minyoung Kim, Vladimir Pavlovic