Sciweavers

1019 search results - page 192 / 204
» Petri Net Transformations in the
Sort
View
DKE
2011
260views Education» more  DKE 2011»
12 years 11 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
MVA
2007
146views Computer Vision» more  MVA 2007»
13 years 9 months ago
Iris Tracking for Generating Novel Facial Interface Media
We took the face, especially eye or eye gaze, into consideration for discussing the non-verbal interface media. We first proposed a passive eye-camera system based on the facial i...
Takuma Funahashi, Takayuki Fujiwara, Hiroyasu Kosh...
WEBDB
2009
Springer
185views Database» more  WEBDB 2009»
14 years 2 months ago
Efficient and Scalable Sequence-Based XML Filtering
The ubiquitous adoption of XML as the standard of data exchange over the web has led to increased interest in building efficient and scalable XML publish-subscribe (pub-sub) syste...
Mariam Salloum, Vassilis J. Tsotras
SFP
2004
13 years 9 months ago
A graphic functional-dataflow language
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
Silvia Clerici, Cristina Zoltan
PR
2007
165views more  PR 2007»
13 years 7 months ago
A trainable feature extractor for handwritten digit recognition
This article focusses on the problems of feature extraction and the recognition of handwritten digits. A trainable feature extractor based on the LeNet5 convolutional neural netwo...
Fabien Lauer, Ching Y. Suen, Gérard Bloch