933 search results - page 60 / 187 » Extending Forward Checking |
111
click to vote
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— We compare the performance of various dynamic query abolishment mechanisms in different unstructured overlay network topologies such as found in several P2P systems. We speciï¬...
105
Voted
ICAT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose a visual assistance system that shows the scene behind a vehicle to its driver in the form of a virtual mirror by utilizing a surveillance camera. The vir...
108
Voted
AI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
ARITH
1999
IEEE
15 years 5 months ago
1999
IEEE
The floating-point unit of a S/390 CMOS microprocessor is described. It contains a 116 bit fraction dataflow for addition and subtraction and a 64 bit-wide multiplier. Besides the...