Sciweavers

2455 search results - page 277 / 491
» Graphical abstract help
Sort
View
FINTAL
2006
15 years 8 months ago
Improving Statistical Word Alignments with Morpho-syntactic Transformations
Abstract. This paper presents a wide range of statistical word alignment experiments incorporating morphosyntactic information. By means of parallel corpus transformations accordin...
Adrià de Gispert, Deepa Gupta, Maja Popovic...
FMCAD
2006
Springer
15 years 8 months ago
Formal Analysis and Verification of an OFDM Modem Design using HOL
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
Abu Nasser Mohammed Abdullah, Behzad Akbarpour, So...
FQAS
2006
Springer
76views Database» more  FQAS 2006»
15 years 8 months ago
Why Using Structural Hints in XML Retrieval?
Abstract. When querying XML collections, users cannot always express their need in a precise way. Systems should therefore support vagueness at both the content and structural leve...
Karen Sauvagnat, Mohand Boughanem, Claude Chrismen...
ICFEM
2000
Springer
15 years 8 months ago
Fragmented Retrenchment, Concurrency and Fairness
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
Richard Banach, Michael Poppleton
95
Voted
MICCAI
2000
Springer
15 years 8 months ago
Robotic Assist for MR-Guided Surgery Using Leverage and Parallelepiped Mechanism
Abstract. In this paper, we would propose a novel mechanism of surgical manipulator, which assists the surgeon in precise positioning and handling of surgical devices, like biopsy ...
Yoshihiko Koseki, Kiyoyuki Chinzei, Noriho Koyachi...