1669 search results - page 273 / 334 » Structured Specification of Model Interpreters |
162
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
129
click to vote
MFCS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
146
click to vote
WEBI
2001
Springer
15 years 7 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
110
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
131
Voted
KDD
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, we study the problem of discovering interesting patterns through user's interactive feedback. We assume a set of candidate patterns (i.e., frequent patterns) h...