3239 search results - page 415 / 648 » A Logical Process Calculus |
109
Voted
BIRTHDAY
2007
Springer
15 years 10 months 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...
103
Voted
ISLPED
2006
ACM
15 years 9 months 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...
111
Voted
FDL
2005
IEEE
15 years 9 months 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...
119
Voted
GECCO
2005
Springer
15 years 9 months 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 ...
128
Voted
GW
2005
Springer
15 years 9 months 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...