Sciweavers

3771 search results - page 495 / 755
» Subobject Transformation Systems
Sort
View
LREC
2008
150views Education» more  LREC 2008»
15 years 5 months ago
Automatic Translation of Biomedical Terms by Supervised Machine Learning
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...
Vincent Claveau
ISIM
2007
15 years 5 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
PTS
2008
109views Hardware» more  PTS 2008»
15 years 5 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
MVA
2007
120views Computer Vision» more  MVA 2007»
15 years 5 months ago
Improvement of Cadastral Map Assembling Based on GHT
There are numerous cadastral maps generated by past land surveying. For effective and efficient use of these maps, we have to assemble the set of maps to make them superimposable ...
Fei Liu, Wataru Ohyama, Tetsushi Wakabayashi, Fumi...
MVA
2007
146views Computer Vision» more  MVA 2007»
15 years 5 months ago
Iris Tracking for Generating Novel Facial Interface Media
We took the face, especially eye or eye gaze, into consideration for discussing the non-verbal interface media. We first proposed a passive eye-camera system based on the facial i...
Takuma Funahashi, Takayuki Fujiwara, Hiroyasu Kosh...