Sciweavers

6719 search results - page 167 / 1344
» A Generalization of Automatic Sequences
Sort
View
MICCAI
2005
Springer
14 years 11 months ago
Automatic Detection and Segmentation of Robot-Assisted Surgical Motions
Robotic surgical systems such as Intuitive Surgical's da Vinci system provide a rich source of motion and video data from surgical procedures. In principle, this data can be u...
Henry C. Lin, Izhak Shafran, Todd E. Murphy, Allis...
ALT
2009
Springer
14 years 7 months ago
Uncountable Automatic Classes and Learning
In this paper we consider uncountable classes recognizable by ω-automata and investigate suitable learning paradigms for them. In particular, the counterparts of explanatory, vac...
Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank S...
FROCOS
2007
Springer
14 years 4 months ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
DSN
2002
IEEE
14 years 3 months ago
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
Markus Jochim
MICCAI
1999
Springer
14 years 2 months ago
Fully Automatic 3D/2D Subtracted Angiography Registration
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
Erwan Kerrien, Marie-Odile Berger, Eric Maurincomm...