925 search results - page 58 / 185 » Implementing Function Block Adapters |
ITP
2010
14 years 2 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Automatic web page segmentation is the basis to adaptive web browsing on mobile devices. It breaks a large page into smaller blocks, in which contents with coherent semantics are ...
ASPDAC
2005
ACM
14 years 1 days ago
2005
ACM
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
SBACPAD
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a high performance communication system based on generic programming. The system adapts itself according to the protocol being used on communication, simplifyi...
AAAI
2000
13 years 11 months ago
2000
Rational decision making requires full knowledge of the utility function of the person affected by the decisions. However, in many cases, the task of acquiring such knowledge is n...