Sciweavers

6018 search results - page 233 / 1204
» Factored Translation Models
Sort
View
ICRA
2005
IEEE
150views Robotics» more  ICRA 2005»
15 years 11 months ago
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
Kaustubh Pathak, Sunil Kumar Agrawal
FASE
2005
Springer
15 years 11 months ago
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
Gabriele Taentzer, Arend Rensink
TII
2008
98views more  TII 2008»
15 years 5 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
COLING
2002
15 years 5 months ago
A Robust Cross-Style Bilingual Sentences Alignment Model
Most current sentence alignment approaches adopt sentence length and cognate as the alignment features; and they are mostly trained and tested in the documents with the same style...
Tz-Liang Kueng, Keh-Yih Su
IPPS
1998
IEEE
15 years 10 months ago
A Molecular Quasi-Random Model of Computations Applied to Evaluate Collective Intelligence
The paper presents how the Random PROLOG Processor (RPP), a bio-inspired model of computations, can be used for formalization and analysis of a phenomenon - the Collective Intelli...
Tadeusz Szuba