7167 search results - page 118 / 1434 » A Technique for Invariant Generation |
131
click to vote
COLING
1994
15 years 7 months ago
1994
: This paper presents an overview of current research concerning knowledge extraction from technical texts. In particular, the use of empirical techniques during the identification...
144
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
Visualization of multi-dimensional data is a challenging task. The goal is not the display of multiple data dimensions, but user comprehension of the multi-dimensional data. This p...
170
click to vote
TSE
2010
15 years 4 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
147
click to vote
ISVC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...
159
click to vote
FLAIRS
2006
15 years 7 months ago
2006
This paper discusses the production of visually appealing computer-generated images, through the emulation of human drawing techniques and artificial evolution. Employing a databa...