Sciweavers

5101 search results - page 522 / 1021
» Capturing Context Requirements
Sort
View
CVIU
2006
129views more  CVIU 2006»
15 years 7 months ago
Integrating multiple levels of zoom to enable activity analysis
In this paper, we present a multi-zoom framework for activity analysis in situations requiring combinations of both detailed and coarse views of the scene. The epipolar geometry i...
Paul Smith, Mubarak Shah, Niels da Vitoria Lobo
DPD
2006
144views more  DPD 2006»
15 years 7 months ago
Integration of transient Web services into a virtual peer to peer Web service registry
Transient Web service provisioning implies a variety of different requirements that are hard to meet in traditional Web service environments. Currently, Web service brokerage focus...
Schahram Dustdar, Martin Treiber
ENTCS
2006
137views more  ENTCS 2006»
15 years 7 months ago
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
Morgan Magnin, Didier Lime, Olivier H. Roux
IJKL
2008
106views more  IJKL 2008»
15 years 7 months ago
Activity- and taxonomy-based knowledge representation framework
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
Birgit Marte, Christina M. Steiner, Jürgen He...
JCC
2008
110views more  JCC 2008»
15 years 7 months ago
On the structure of the inverse kinematics map of a fragment of protein backbone
Loop closure in proteins requires computing the values of the inverse kinematics (IK) map for a backbone fragment with 2n 6 torsional degrees of freedom (dofs). It occurs in a va...
R. James Milgram, Guanfeng Liu, Jean-Claude Latomb...