Sciweavers

14331 search results - page 115 / 2867
» On the modeling and analysis of obligations
Sort
View
CISS
2010
IEEE
14 years 10 months ago
Using laser scanners for modeling and analysis in architecture, engineering, and construction
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
Daniel Huber, Burcu Akinci, Pingbo Tang, Antonio A...
ICCV
2007
IEEE
16 years 8 months ago
Embedded Profile Hidden Markov Models for Shape Analysis
An ideal shape model should be both invariant to global transformations and robust to local distortions. In this paper we present a new shape modeling framework that achieves both...
Rui Huang, Vladimir Pavlovic, Dimitris N. Metaxas
AIED
2007
Springer
16 years 16 days ago
Applying Learning Factors Analysis to Build Stereotypic Student Models
This paper demonstrates how stereotypic student groups can be created to enhance cognitive models in computer tutors. Computer tutors use cognitive models to track what skills stud...
Anna N. Rafferty, Michael Yudelson
BPM
2007
Springer
125views Business» more  BPM 2007»
16 years 16 days ago
Semantic Analysis of Flow Patterns in Business Process Modeling
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
Pnina Soffer, Yair Wand, Maya Kaner
FORTE
2008
15 years 7 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...