Sciweavers

6253 search results - page 445 / 1251
» Use Case Modeling Guidelines
Sort
View
COLING
2010
14 years 12 months ago
Designing Agreement Features for Realization Ranking
This paper shows that incorporating linguistically motivated features to ensure correct animacy and number agreement in an averaged perceptron ranking model for CCG realization he...
Rajakrishnan Rajkumar, Michael White
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 8 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
DAC
2003
ACM
16 years 5 months ago
An IDF-based trace transformation method for communication refinement
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
Andy D. Pimentel, Cagkan Erbas
TOG
2008
926views more  TOG 2008»
15 years 4 months ago
3D-modeling by ortho-image generation from image sequences
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
Thorsten Thormählen, Hans-Peter Seidel
127
Voted
ICMCS
2005
IEEE
98views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Auto cropping for digital photographs
In this paper, we propose an effective approach to the nearly untouched problem, still photograph auto cropping, which is one of the important features to automatically enhance ph...
Mingju Zhang, Lei Zhang, Yanfeng Sun, Lin Feng, We...