2909 search results - page 327 / 582 » Consistency of the theory of contexts |
185
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
The success of "infinite-inventory" retailers such as Amazon.com and Netflix has been ascribed to a "long tail" phenomenon. To wit, while the majority of their...
171
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
168
click to vote
ESOP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
187
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
128
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper provides a bridge between the classical tiling theory and cellular automata on one side, and the complex neighborhood self-assembling situations that exist in practice,...