7335 search results - page 993 / 1467 » Scene Based Reasoning |
173
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
175
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
Both hair rendering and global illumination are known to be computationally expensive, and for this reason we see very few examples using global illumination techniques in hair re...
186
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
191
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
172
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Regarding to address allocation, a mobile ad hoc network (MANET) may suffer from the lack of address and network partition/merging due to mobility of nodes. In this paper, we pr...