837 search results - page 80 / 168 » Hard combinators |
SFP
2003
15 years 1 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
101
click to vote
SODA
1998
ACM
15 years 1 months ago
1998
ACM
A fundamental facility location problem is to choose the location of facilities, such as industrial plants and warehouses, to minimize the cost of satisfying the demand for some c...
102
click to vote
DEXAW
2010
IEEE
15 years 1 months ago
2010
IEEE
The Web has been flooded with highly heterogeneous data sources that freely offer their data to the public. Careful design and compliance to standards is a way to cope with the he...
81
Voted
MM
2010
ACM
15 years 2 days ago
2010
ACM
Image classification is a well-studied and hard problem in computer vision. We extend a proven solution for classifying web spam to handle images. We exploit the link structure of...
101
click to vote
AAMAS
2007
Springer
15 years 19 hour ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...