3239 search results - page 276 / 648 » A Logical Process Calculus |
125
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
142
Voted
AAAI
2007
15 years 7 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
176
click to vote
DEXA
2008
Springer
15 years 6 months ago
2008
Springer
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
138
click to vote
EPIA
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
124
click to vote
FPGA
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes the Altera Stratix II™ logic and routing architecture. This architecture features a novel adaptive logic module (ALM) that is based on a 6-LUT, but can be p...