1188 search results - page 178 / 238 » Testing Semantics: Connecting Processes and Process Logics |
144
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
The project deals with the design and realization of a dedicated board DSP-based for the processing of audio signals for automotive applications (DIGIcar). The I/O interface of th...
162
Voted
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
133
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents e cient and portable implementations of a useful image enhancement process, the Symmetric Neighborhood Filter SNF, and an image segmentation technique which ma...
161
click to vote
CONNECTION
2006
15 years 3 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...