3706 search results - page 270 / 742 » KtSeqC: System Description |
151
click to vote
DOOD
1995
Springer
15 years 10 months ago
1995
Springer
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
145
click to vote
LREC
2008
15 years 8 months ago
2008
This paper deals with non manual gestures annotation involved in Sign Language within the context of automatic generation of Sign Language. We will tackle linguistic researches in...
153
click to vote
AAAI
1994
15 years 8 months ago
1994
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, b...
193
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
135
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...