Sciweavers

1995 search results - page 46 / 399
» The Chemical Abstract Machine
Sort
View
ICDT
2007
ACM
143views Database» more  ICDT 2007»
14 years 1 months ago
Database Query Processing Using Finite Cursor Machines
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole...
USENIX
2003
13 years 9 months ago
Operating System Support for Virtual Machines
Abstract: A virtual-machine monitor (VMM) is a useful technique for adding functionality below existing operating system and application software. One class of VMMs (called Type II...
Samuel T. King, George W. Dunlap, Peter M. Chen
AIME
2007
Springer
14 years 1 months ago
A Human-Machine Cooperative Approach for Time Series Data Interpretation
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...
Thomas Guyet, Catherine Garbay, Michel Dojat
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
13 years 11 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
AIR
2006
152views more  AIR 2006»
13 years 7 months ago
Machine learning: a review of classification and combining techniques
Abstract Supervised classification is one of the tasks most frequently carried out by socalled Intelligent Systems. Thus, a large number of techniques have been developed based on ...
Sotiris B. Kotsiantis, Ioannis D. Zaharakis, Panay...