119 search results - page 23 / 24 » Automatic Testing of Higher Order Functions |
135
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
125
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
103
Voted
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— Today’s IEEE 802.11 WLANs (Wireless LANs) provide multiple transmission rates so that different rates can be exploited in an adaptive manner depending on the underlying chann...
119
Voted
DAGSTUHL
2003
15 years 2 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
153
click to vote
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
The detection and improvement of low-quality information is a key concern in Web applications that are based on user-generated content; a popular example is the online encyclopedi...