6300 search results - page 286 / 1260 » We have it easy, but do we have it right |
120
click to vote
USENIX
2001
15 years 3 months ago
2001
Stackable file systems can provide extensible file system functionality with minimal performance overhead and development cost. However, previous approaches provide only limited f...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
131
Voted
GG
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
151
click to vote
SUM
2010
Springer
15 years 5 days ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
135
Voted
MAGS
2010
14 years 8 months ago
2010
Designing efficient bidding strategies for sequential auctions remains an important, open problem area in agent-mediated electronic markets. In existing literature, a variety of bi...