900 search results - page 141 / 180 » On Polynomial Time Computation over Unordered Structures |
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Libre (free / open source) software development is a complex phenomenon. Many actors (core developers, casual contributors, bug reporters, patch submitters, users, etc.), in many ...
JAIR
2010
13 years 7 months ago
2010
We develop multiattribute auctions that accommodate generalized additive independent (GAI) preferences. We propose an iterative auction mechanism that maintains prices on potentia...
PERCOM
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a method for finding and classifying objects within real-world scenes by using the activity of humans interacting with these objects to infer the object’s i...
FASE
2010
Springer
13 years 12 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
SSDBM
2011
IEEE
13 years 10 days ago
2011
IEEE
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...