1788 search results - page 303 / 358 » Model Theory for Process Algebra |
144
Voted
CG
2005
Springer
15 years 3 months ago
2005
Springer
A new algorithm for Boolean operations on general planar polygons is presented. It is available for general planar polygons (manifold or non-manifold, with or without holes). Edge...
98
Voted
TIT
2002
15 years 3 months ago
2002
This paper provides a mathematical analysis of transform compression in its relationship to linear and nonlinear approximation theory. Contrasting linear and nonlinear approximatio...
119
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Pitching is the starting point of an event in baseball games. Hence, locating pitching shots is a critical step in content analysis of a baseball game video. However, pitching fra...
146
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper describes the implementation and evaluation of a framework for modeling emotions in complex, decision-making agents. Sponsored by U.S. Army Research Institute (ARI), th...
145
Voted
IJFCS
2006
15 years 3 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...