5205 search results - page 310 / 1041 » Tilings and model theory |
118
Voted
MABS
2004
Springer
15 years 6 months ago
2004
Springer
Anthropologists have yet to adequately investigate the evolution of food sharing despite its prevalence among contemporary human societies. As an initial step toward rectifying thi...
101
click to vote
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. RDF Graphs are sets of assertions in the form of subjectpredicate-object triples of information resources. Although for simple examples they can be understood intuitively...
115
click to vote
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
97
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...