3239 search results - page 415 / 648 » A Logical Process Calculus |
161
click to vote
BIRTHDAY
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
140
click to vote
ISLPED
2006
ACM
16 years 16 days ago
2006
ACM
In this paper, we identify the key challenges that oppose subthreshold circuit design and describe fabricated chips that verify techniques for overcoming the challenges. Categorie...
150
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
155
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
170
click to vote
GW
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...