2308 search results - page 361 / 462 » Representing Symbolic Reasoning |
155
click to vote
SMI
2005
IEEE
15 years 12 months ago
2005
IEEE
The recent ability to measure quickly and inexpensively dense sets of points on physical objects has deeply influenced the way engineers used to represent shapes in CAD systems, ...
148
click to vote
WECWIS
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider truthful online auctions that aim at optimizing sellers’ revenues, representing service contributors’ satisfactions, as a general model for pricing peer-to-peer se...
196
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
195
click to vote
XIMEP
2005
ACM
15 years 12 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
107
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
In multi-agent systems where sets of joint actions (JAs) are generated, metrics are needed to evaluate these sets and efficiently allocate resources for the many JAs. For the case...