2393 search results - page 193 / 479 » Fuzzy-UCS: preliminary results |
195
click to vote
LOPSTR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
144
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
We are developing virtual fixtures for the internal mammary artery (IMA) harvest portion of robot-assisted coronary artery bypass graft procedures. A preoperative CT scan will be p...
177
Voted
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
In this project report we describe work in statistical parsing using the maximum entropy technique and the Alpino language analysis system for Dutch. A major difficulty in this d...
185
Voted
RAID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we describe an interface between intrusion detection systems and trusted system components. The approach presented differs from conventional intrusion dete...
184
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...