3233 search results - page 576 / 647 » Rule Modeling and Markup |
126
click to vote
IV
2002
IEEE
15 years 9 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
155
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
133
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Motion provides strong visual cues for the perception of shape and depth, as demonstrated by cognitive scientists and visual artists. This paper presents a novel visualization tec...
124
click to vote
WECWIS
2002
IEEE
15 years 9 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
159
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Videos of multi-player team sports provide a challenging domain for dynamic scene analysis. Player actions and interactions are complex as they are driven by many factors, such as...