4987 search results - page 335 / 998 » Support Ordered Resolution |
148
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
132
click to vote
PRESENCE
2000
15 years 4 months ago
2000
The quality of realism in virtual environments (VEs) is typically considered to be a function of visual and audio fidelity mutually exclusive of each other. However, the VE partic...
150
click to vote
DSD
2010
IEEE
15 years 3 months ago
2010
IEEE
— Chip Multiprocessor (CMP) systems have become the reference architecture for designing micro-processors, thanks to the improvements in semiconductor nanotechnology that have co...
184
click to vote
TIP
2010
15 years 3 months ago
2010
—Salient areas in natural scenes are generally regarded as areas which the human eye will typically focus on, and finding these areas is the key step in object detection. In com...
180
click to vote
TIP
2010
14 years 11 months ago
2010
Abstract-- Due to the novel fluid optics, unique image processing challenges are presented by the fluidic lens camera system. Developed for surgical applications, unique properties...