Sciweavers

1837 search results - page 196 / 368
» Abstraction and the C Machine Model
Sort
View
TOOLS
2009
IEEE
16 years 1 months ago
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
Camillo Bruni, Toon Verwaest
RULEML
2009
Springer
16 years 1 months ago
Correlating Business Events for Event-Triggered Rules
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
Josef Schiefer, Hannes Obweger, Martin Suntinger
SEMWEB
2009
Springer
16 years 1 months ago
LinkedGeoData: Adding a Spatial Dimension to the Web of Data
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...
Sören Auer, Jens Lehmann, Sebastian Hellmann
DAARC
2007
Springer
86views Algorithms» more  DAARC 2007»
16 years 23 days ago
Evaluating Hybrid Versus Data-Driven Coreference Resolution
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
Iris Hendrickx, Véronique Hoste, Walter Dae...
FSTTCS
2007
Springer
16 years 23 days ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin