10910 search results - page 207 / 2182 » Input modeling using a computer algebra system |
137
click to vote
COORDINATION
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
147
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
142
click to vote
INEX
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...
150
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
142
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In recent years, there has been a surge of interest in Javabased volunteer computing systems, which aim to make it possible to build very large parallel computing network...