392 search results - page 32 / 79 » APROL: a Hybrid Language |
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
90
Voted
NLDB
2001
Springer
15 years 6 months ago
2001
Springer
: Up to now, the results of applying sophisticated NL techniques to IR have been mostly disappointing. Our research aims at investigating in detail the role of syntactic analysis i...
SCAM
2006
IEEE
15 years 8 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
117
Voted
HAPTICS
2005
IEEE
15 years 7 months ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
113
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...