Sciweavers

338 search results - page 57 / 68
» A Language for Task Orchestration and Its Semantic Propertie...
Sort
View
EDBT
2009
ACM
170views Database» more  EDBT 2009»
15 years 2 months ago
Efficient constraint evaluation in categorical sequential pattern mining for trajectory databases
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
Leticia I. Gómez, Alejandro A. Vaisman
ICSM
2009
IEEE
15 years 5 months ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey
CAV
2001
Springer
83views Hardware» more  CAV 2001»
15 years 2 months ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen
APAQS
2001
IEEE
15 years 1 months ago
Incremental Fault-Tolerant Design in an Object-Oriented Setting
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, ...
LREC
2010
187views Education» more  LREC 2010»
14 years 11 months ago
How FrameSQL Shows the Japanese FrameNet Data
FrameSQL is a web-based application which the author (Sato, 2003; Sato 2008) created originally for searching the Berkeley FrameNet lexical database. FrameSQL now can handle the J...
Hiroaki Sato