Sciweavers

1855 search results - page 257 / 371
» Composing model programs for analysis
Sort
View
JSW
2008
220views more  JSW 2008»
14 years 10 months ago
Empirical validation of Software development effort multipliers of Intermediate COCOMO Model
Intermediate COCOMO Model computes effort as a function of program size and a set of cost drivers. Effort adjustment factor (EAF) is calculated using 15 cost drivers. EAF is an imp...
M. J. Basavaraj, K. C. Shet
ICIP
2006
IEEE
15 years 11 months ago
Submotions for Hidden Markov Model Based Dynamic Facial Action Recognition
Video based analysis of a persons' mood or behavior is in general performed by interpreting various features observed on the body. Facial actions, such as speaking, yawning o...
Dejan Arsic, Joachim Schenk, Björn Schuller, ...
CP
2009
Springer
15 years 10 months ago
The Complexity of Valued Constraint Models
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
Peter G. Jeavons, Stanislav Zivný
WSC
2000
14 years 11 months ago
Modeling reality with simulation games for a cooperative learning
In this work we want to show the importance of visualization, interfaces and re-design techniques through 3D modeling, animations and VRML in the developing of the simulation game...
João Rafael Galvão, Paulo Garcia Mar...
FSTTCS
2010
Springer
14 years 7 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To