Sciweavers

2631 search results - page 259 / 527
» A Practical Method for the Sparse Resultant
Sort
View
ATAL
2005
Springer
16 years 25 days ago
An integrated framework for adaptive reasoning about conversation patterns
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
Michael Rovatsos, Felix A. Fischer, Gerhard Wei&sz...
CIS
2005
Springer
16 years 25 days ago
Survivability Computation of Networked Information Systems
Abstract. Survivability should be considered beyond security for networked information systems, which emphasizes the ability of continuing providing services timely in malicious en...
Xuegang Lin, Rongsheng Xu, Miaoliang Zhu
ISVC
2005
Springer
16 years 24 days ago
Efficient Depth Edge Detection Using Structured Light
This research features a novel approach that efficiently detects depth edges in real world scenes. Depth edges play a very important role in many computer vision problems because t...
Jiyoung Park, Cheolhwon Kim, Juneho Yi, Matthew Tu...
SAS
2005
Springer
16 years 23 days ago
Secure Information Flow as a Safety Problem
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
Tachio Terauchi, Alexander Aiken
ICAT
2003
IEEE
16 years 17 days ago
Interaction Model between Elastic Objects for Accurate Haptic Display
The simulation of organ-organ interaction is indispensable for practical and advanced medical VR simulator such as open surgery and indirect palpation. This paper gives a method t...
Yoshihiro Kuroda, Megumi Nakao, Tomohiro Kuroda, H...