420 search results - page 22 / 84 » Some Algorithmic Problems in Polytope Theory |
114
click to vote
SOFSEM
2012
Springer
13 years 7 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
105
click to vote
AAAI
1994
15 years 1 months ago
1994
Many real-life Constraint Satisfaction Problems (CSPs) involve some constraints similar to the alldifferent constraints. These constraints are called constraints of difference. Th...
120
click to vote
ICSE
1993
IEEE-ACM
15 years 3 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
102
click to vote
CPM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
AMC
2005
14 years 11 months ago
2005
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...