1593 search results - page 280 / 319 » An Intelligent Model and Its Implementation of Search Engine |
126
click to vote
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
In recent years, several methods have been proposed for implementing interactive similarity queries on multimedia databases. Common to all these methods is the idea to exploit use...
111
click to vote
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
124
click to vote
DSRT
2006
IEEE
15 years 9 months ago
2006
IEEE
A wide range of haptic devices exist that possess the potential to offer users a rich experience in a virtual reality environment. This however depends on the haptic device to be ...
116
Voted
SMA
2005
ACM
15 years 9 months ago
2005
ACM
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
132
Voted
PADS
2003
ACM
15 years 8 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...