1076 search results - page 110 / 216 » Operations on proofs and labels |
ENTCS
2010
15 years 24 days ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
TCS
2008
15 years 19 days ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
132
Voted
JMIV
1998
15 years 12 days ago
1998
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. A non topological axiomatics has been proposed by Matheron and Serra. The present pa...
112
Voted
PAMI
2002
15 years 11 days ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
112
click to vote
HRI
2009
ACM
15 years 7 months ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...