Sciweavers

500 search results - page 27 / 100
» Context models on sequences of covers
Sort
View
DKE
2007
99views more  DKE 2007»
13 years 9 months ago
Modeling and language support for the management of pattern-bases
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...
Manolis Terrovitis, Panos Vassiliadis, Spiros Skia...
STACS
2010
Springer
14 years 4 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson
ECMDAFA
2008
Springer
158views Hardware» more  ECMDAFA 2008»
13 years 10 months ago
Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
Ta'id Holmes, Huy Tran, Uwe Zdun, Schahram Dustdar
SPIRE
2001
Springer
14 years 1 months ago
On Compression of Parse Trees
We consider methods for compressing parse trees, especially techniques based on statistical modeling. We regard a sequence of productions corresponding to a suffix of the path fr...
Jorma Tarhio
AVBPA
2003
Springer
101views Biometrics» more  AVBPA 2003»
14 years 19 days ago
Gait Shape Estimation for Identification
A method is presented for identifying individuals by shape, given a sequence of noisy silhouettes segmented from video. A spectral partitioning framework is used to cluster similar...
David Tolliver, Robert T. Collins