6047 search results - page 603 / 1210 » Modeling with Extend |
201
click to vote
CSDA
2006
15 years 7 months ago
2006
The assessment of the influence of individual observations on the outcome of the analysis by perturbation has received a lot of attention for situations in which the observations ...
161
click to vote
JLP
2006
15 years 7 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
180
click to vote
IJOE
2007
15 years 7 months ago
2007
- Since the Topic Map standard describes a prospective knowledge-structuring model that can be used in a huge variety of knowledge domains the amount of applications utilizing this...
193
click to vote
TCS
2008
15 years 7 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
220
click to vote
TCSV
2008
15 years 7 months ago
2008
In this paper, we present a robust passage retrieval algorithm to extend the conventional text question answering (Q/A) to videos. Users interact with our videoQ/A system through n...