4666 search results - page 151 / 934 » Equations on Timed Languages |
192
click to vote
ROOM
2000
15 years 6 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
128
click to vote
RTAS
2009
IEEE
16 years 5 days ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
167
Voted
COCOON
2009
Springer
15 years 8 months ago
2009
Springer
We present new and more efficient algorithms for regular language enumeration problems. The min-word problem is to find the lexicographically minimal word of length n accepted by ...
158
click to vote
FAC
2010
15 years 4 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
120
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper deals with the matching of geometric objects including points, curves, surfaces, and subvolumes using implicit object representations in both linear and non-linear sett...