281 search results - page 6 / 57 » Solving Parametric Algebraic Systems |
122
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract-- Many model order reduction methods for parameterized systems need to construct a projection matrix V which requires computing several moment matrices of the parameterize...
160
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract We describe a method to approximate a segment of the intersection curve of two implicitly defined surfaces by a rational parametric curve. Starting from an initial soluti...
153
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
156
click to vote
IADIS
2004
15 years 5 months ago
2004
The ALPS project (Active Learning in Problem Solving) is building and evaluating an educational technology that combines cognitive tutors with a novel interactive questioning envi...
147
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...