Sciweavers

19367 search results - page 544 / 3874
» Fine-Grain Process Modelling
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 7 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
IJNS
2000
130views more  IJNS 2000»
15 years 7 months ago
A Programmable VLSI Filter Architecture for Application in Real-Time Vision Processing Systems
An architecture is proposed for the realization of real-time edge-extraction filtering operation in an Address-Event-Representation (AER) vision system. Furthermore, the approach ...
Teresa Serrano-Gotarredona, Andreas G. Andreou, Be...
236
Voted
PVLDB
2010
151views more  PVLDB 2010»
15 years 5 months ago
Advanced Processing for Ontological Queries
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
Andrea Calì, Georg Gottlob, Andreas Pieris
WSC
2008
15 years 9 months ago
Conceptual modelling: Knowledge acquisition and model abstraction
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
Kathy Kotiadis, Stewart Robinson
CAISE
2004
Springer
16 years 21 days ago
Remaining Fit: On the Creation and Maintenance of Fit
This paper serves as the introductory note to the Fifth Workshop on Business Process Modeling, Development, and Support (BPMDS’04). The workshop focuses on the exploration of iss...
Gil Regev, Alain Wegmann