Sciweavers

1521 search results - page 274 / 305
» On Sampled Semantics of Timed Systems
Sort
View
ICAIL
2005
ACM
15 years 3 months ago
Computational Linguistic Support for Legal Ontology Construction
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
Stephan Walter, Manfred Pinkal
BPM
2005
Springer
141views Business» more  BPM 2005»
15 years 3 months ago
Towards a Framework for the Agile Mining of Business Processes
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
Barbara Weber, Manfred Reichert, Stefanie Rinderle...
ICLP
2005
Springer
15 years 3 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
VLDB
2004
ACM
124views Database» more  VLDB 2004»
15 years 3 months ago
Containment of Nested XML Queries
Query containment is the most fundamental relationship between a pair of database queries: a query Q is said to be contained in a query Q if the answer for Q is always a subset of...
Xin Dong, Alon Y. Halevy, Igor Tatarinov
ICDE
2003
IEEE
208views Database» more  ICDE 2003»
15 years 3 months ago
DBProxy: A dynamic data cache for Web applications
The majority of web pages served today are generated dynamically, usually by an application server querying a back-end database. To enhance the scalability of dynamic content serv...
Khalil Amiri, Sanghyun Park, Renu Tewari, Sriram P...