5525 search results - page 875 / 1105 » Verification of Model Transformations |
125
click to vote
DICTA
2007
15 years 5 months ago
2007
We develop a method for estimating the flight critical parameters of pitch angle, roll angle and the three body rates using horizon detection and optical flow. We achieve this t...
126
click to vote
LREC
2008
15 years 5 months ago
2008
In this paper, we present a simple yet efficient automatic system to translate biomedical terms. It mainly relies on a machine learning approach able to infer rewriting rules from...
115
click to vote
ECIS
2004
15 years 5 months ago
2004
This paper explores the body of e-government research surfaced during 1998-2003 in Web of Science and ProQuest. The search identified 158 scholarly papers. Using a classification ...
143
click to vote
BXML
2003
15 years 5 months ago
2003
: Developing personalized applications for the ubiquitous Web assumes to create content that can be automatically adapted to both different presentation platforms and user preferen...
121
Voted
DS
2001
15 years 5 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...