2950 search results - page 181 / 590 » Computing with Infinitely Many Processes |
170
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
148
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
197
Voted
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
Action recognition is becoming an important component of many computer vision applications such as video surveillance, video indexing and browsing. However most of the space time ...
161
click to vote
COMGEO
2007
ACM
15 years 6 months ago
2007
ACM
We consider the problem of discovering a smooth unknown surface S bounding an object O in R3 . The discovery process consists of moving a point probing device in the free space ar...
212
click to vote
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper describes a method of linearizing the nonlinear characteristics of many sensors using an embedded neural network. The proposed method allows for complex neural networ...