11561 search results - page 46 / 2313 » A Language for Biochemical Systems |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...
ADBIS
2009
Springer
14 years 3 months ago
2009
Springer
We propose linear systems of hedge language equations (LSH) as a formalism to represent regular hedge languages. These linear systems are suitable for several computations in the a...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
POPL
2012
ACM
12 years 4 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
PROPOR
2012
Springer
12 years 4 months ago
2012
Springer
This paper provides an overview of the current version of SIGA, a system that supports the organization of information retrieval (IR) evaluations. SIGA was recently used in Págico...