Sciweavers

4235 search results - page 248 / 847
» Process Spaces
Sort
View
IANDC
2006
103views more  IANDC 2006»
15 years 4 months ago
Bisimulation and cocongruence for probabilistic systems
We introduce a new notion of bisimulation, called event bisimulation on labelled Markov processes (LMPs) and compare it with the, now standard, notion of probabilistic bisimulatio...
Vincent Danos, Josee Desharnais, François L...
JCP
2008
139views more  JCP 2008»
15 years 4 months ago
Agent Learning in Relational Domains based on Logical MDPs with Negation
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
Song Zhiwei, Chen Xiaoping, Cong Shuang
COGSCI
1998
113views more  COGSCI 1998»
15 years 3 months ago
Conceptual Integration Networks
Conceptual integration—"blending"—is a general cognitive operation on a par with analogy, recursion, mental modeling, conceptual categorization, and framing. It serv...
Gilles Fauconnier, Mark Turner
ICCV
2009
IEEE
15 years 1 months ago
Efficient human pose estimation via parsing a tree structure based human model
Human pose estimation is the task of determining the states (location, orientation and scale) of each body part. It is important for many vision understanding applications, e.g. v...
Xiaoqin Zhang, Changcheng Li, Xiaofeng Tong, Weimi...
CSREAESA
2006
15 years 5 months ago
FEMPI: A Lightweight Fault-tolerant MPI for Embedded Cluster Systems
- Ever-increasing demands of space missions for data returns from their limited processing and communications resources have made the traditional approach of data gathering, data c...
Rajagopal Subramaniyan, Vikas Aggarwal, Adam Jacob...