2662 search results - page 107 / 533 » Objects-early tools: a demonstration |
117
click to vote
IPCAI
2010
15 years 5 months ago
2010
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
102
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
120
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we introduce a modular, highly flexible, opensource environment for data generation. Using an existing graphical data flow tool, the user can combine various types...
146
click to vote
VRML
2010
ACM
15 years 5 months ago
2010
ACM
This work presents a technical solution for the creation of visualization schemes for biological data on the web platform. The proposed technology tries to overcome the standard a...
ACSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...