4674 search results - page 422 / 935 » cases 2008 |
141
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we describe our ongoing work on modelling urban encounters by extending Conway's Game of Life. We develop our model based on empirical data collected using a Ta...
177
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
258
Voted
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
166
Voted
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Research on security in Peer-to-Peer (P2P) systems is dominated by reputation-based solutions. These solutions propagate opinions about other peers in order to help identify the b...
156
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
: Not much is known about the weight distribution of the generalized Reed-Muller code RMq(s, m) when q > 2, s > 2 and m 2 . Even the second weight is only known for values o...