1722 search results - page 92 / 345 » Ontology Formalism Transformation |
118
Voted
EUROCAST
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
123
Voted
FASE
2000
Springer
15 years 4 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
112
click to vote
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
156
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
103
Voted
INFORMATICALT
2006
15 years 20 days ago
2006
There is presented a technique of transcribing Lithuanian text into phonemes for speech recognition. Text-phoneme transformation has been made by formal rules and the dictionary. F...