4650 search results - page 376 / 930 » Generating and evaluating evaluative arguments |
184
click to vote
ICSE
2009
IEEE-ACM
16 years 5 days ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
223
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
238
click to vote
FGR
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
215
click to vote
AAAI
2006
15 years 9 months ago
2006
Assume that we are trying to build a visual recognizer for a particular class of objects--chairs, for example--using existing induction methods. Assume the assistance of a human t...
240
click to vote
CGVR
2006
15 years 9 months ago
2006
Texture mapping with vector graphics, rather than raster graphics generates better rendering quality. This paper discusses a fully developed approach of texture mapping 3D objects...