3575 search results - page 95 / 715 » Presentations of computably enumerable reals |
160
click to vote
IWANN
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. A new algorithm is presented for finding genotype-phenotype association rules from data related to complex diseases. The algorithm was based on Genetic Algorithms, a tech...
187
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
157
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...
176
click to vote
AFRICACRYPT
2008
Springer
16 years 19 days ago
2008
Springer
Abstract. In 2000, Paulus and Takagi introduced a public key cryptosystem called NICE that exploits the relationship between maximal and non-maximal orders in imaginary quadratic n...
141
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
In virtual environments, perceived egocentric distances are consistently underestimated when compared to the same distance judgments in the real world. The research presented in t...