8828 search results - page 211 / 1766 » Formal methods in practice |
140
click to vote
WSC
2004
15 years 6 months ago
2004
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
137
click to vote
CGF
1999
15 years 4 months ago
1999
The calculation of radiant energy balance in complex scenes has been made possible by hierarchical radiosity methods based on clustering mechanisms. Although clustering offers an ...
141
Voted
JEI
2008
15 years 4 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
136
Voted
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Accurate and timely identification of the routerlevel topology of the Internet is one of the major unresolved problems in Internet research. Topology recovery via tomog...
127
click to vote
EMNLP
2010
15 years 3 months ago
2010
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...