Sciweavers

8676 search results - page 240 / 1736
» Reconciling Feature Modeling: A Feature Modeling Metamodel
Sort
View
IJCV
2006
121views more  IJCV 2006»
15 years 6 months ago
Feature-Based Sequence-to-Sequence Matching
This paper studies the problem of matching two unsynchronized video sequences of the same dynamic scene, recorded by different stationary uncalibrated video cameras. The matching i...
Yaron Caspi, Denis Simakov, Michal Irani
LOGCOM
2008
94views more  LOGCOM 2008»
15 years 6 months ago
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
Walter Alexandre Carnielli, João Rasga, Cri...
DATESO
2009
269views Database» more  DATESO 2009»
15 years 4 months ago
The BPM to UML activity diagram transformation using XSLT
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
Ondrej Macek, Karel Richta
RE
2010
Springer
15 years 1 months ago
Domain Engineering with Event-B: Some Lessons We Learned
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
Atif Mashkoor, Jean-Pierre Jacquot
ITS
2010
Springer
115views Multimedia» more  ITS 2010»
15 years 11 months ago
In the Zone: Towards Detecting Student Zoning Out Using Supervised Machine Learning
This paper explores automatically detecting student zoning out while performing a spoken learning task. Standard supervised machine learning techniques were used to create classiï¬...
Joanna Drummond, Diane J. Litman