Sciweavers

106 search results - page 2 / 22
» acl 2004
Sort
View
CARS
2004
13 years 6 months ago
Navigation system for ACL reconstruction using registration between multi-viewpoint X-ray images and CT images
A high-precision navigation system for Anterior Cruciate Ligament(ACL) reconstruction surgery is presented. In this system, 3D CT data is used to visualize the structure of bones a...
Mamoru Kuga, Kazunori Yasuda, Nobuhiko Hata, Takey...
ESAW
2004
Springer
13 years 11 months ago
DIAGAL: A Generic ACL for Open Systems
In this paper, we present the latest version of our dialogue games based agent communication language (DIAGAL) which allows the agents to manipulate the public layer of social comm...
Philippe Pasquier, Mathieu Bergeron, Brahim Chaib-...
FMCAD
2004
Springer
13 years 11 months ago
Integrating Reasoning About Ordinal Arithmetic into ACL2
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
Panagiotis Manolios, Daron Vroon
PDCAT
2004
Springer
13 years 10 months ago
A High-Level Policy Description Language for the Network ACL
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...
Jangha Kim, Kanghee Lee, Sangwook Kim, Jungtaek Se...
ACL
2004
13 years 6 months ago
A Sentimental Education: Sentiment Analysis Using Subjectivity Summarization Based on Minimum Cuts
Sentiment analysis seeks to identify the viewpoint(s) underlying a text span; an example application is classifying a movie review as "thumbs up" or "thumbs down&qu...
Bo Pang, Lillian Lee