3575 search results - page 401 / 715 » Presentations of computably enumerable reals |
197
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents the Real-coded Genetic Algorithms for high-dimensional ill-scaled structures, what is called, the ktablet structure. The k-tablet structure is the landscape th...
184
Voted
VRST
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we analyze and try to predict the gaze behavior of users navigating in virtual environments. We focus on first-person navigation in virtual environments which invol...
191
Voted
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
161
click to vote
RAID
2005
Springer
16 years 9 days ago
2005
Springer
To detect and defend against Internet worms, researchers have long hoped to have a safe convenient environment to unleash and run real-world worms for close observation of their in...
183
click to vote
VISSYM
2007
15 years 9 months ago
2007
Visual data analysis has received a lot of research interest in recent years, and a wide variety of new visualization techniques and applications have been developed to improve in...