996 search results - page 155 / 200 » Enhancing UML Models: A Domain Analysis Approach |
122
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
111
Voted
CSCL
2008
15 years 3 months ago
2008
: This paper presents a conceptual analysis of the technological dimensions related to the operationalization of CSCL macro-scripts. CSCL scripts are activity models that aim at en...
154
Voted
TCBB
2008
15 years 3 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
128
Voted
CVPR
2006
IEEE
15 years 7 months ago
2006
IEEE
The face recognition system based on the only single classifier considering the restricted information can not guarantee the generality and superiority of performances in a real s...
112
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a novel model1 for measurement of the arterial pulse from the Superficial Temporal Artery (STA) using passive thermal Infra Red (IR) sensors. The proposed approach has ...