2479 search results - page 173 / 496 » Quantum complexity theory |
203
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
184
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The sparse nature of location finding problem makes the theory of compressive sensing desirable for indoor positioning in Wireless Local Area Networks (WLANs). In this...
181
click to vote
ISSAC
1997
Springer
15 years 11 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
219
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
210
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...