2308 search results - page 378 / 462 » Representing Symbolic Reasoning |
142
Voted
HOTDEP
2008
15 years 8 months ago
2008
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
139
click to vote
NSDI
2007
15 years 8 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
152
click to vote
WSC
2008
15 years 8 months ago
2008
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
166
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
145
click to vote
CG
2008
Springer
15 years 7 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...