943 search results - page 11 / 189 » Virtual First-Order Structure |
127
click to vote
ITP
2010
15 years 10 days ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
129
click to vote
CGF
2004
15 years 2 months ago
2004
The navigation activity is an every day practice for any human being capable of locomotion. Our objective in this work is to reproduce this crucial human activity inside virtual e...
111
click to vote
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we describe a unique type of knowledge management systems virtual reality-enabled multi-user virtual environments with spatialised semantic structures. They are des...
109
click to vote
WCE
2007
15 years 3 months ago
2007
—The methodologies to calculate failure probability and to estimate the reliability of fatigue loaded structures are developed. The applicability of the methodologies is evaluate...
APAL
2008
15 years 2 months ago
2008
We show that for random bit strings, Up(n), with probability, p = 1 2 , the firstorder quantifier depth D(Up(n)) needed to distinguish non-isomorphic structures is (lg lg n), with...