3229 search results - page 121 / 646 » Theories with the Independence Property |
105
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Online auctions have become a pervasive transaction mechanism for e-commerce. As the largest online marketplace in the world, eBay is an attractive case study that enables the stu...
131
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
123
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
128
click to vote
HYBRID
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
CPHYSICS
2008
15 years 24 days ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...