5550 search results - page 85 / 1110 » Different Approaches to Proof Systems |
169
click to vote
IJSYSC
2010
15 years 4 months ago
2010
— First order linear time invariant and time delayed dynamics of neutral type is taken into account with three rationally independent delays. There are two main contributions of ...
170
click to vote
AIME
2007
Springer
16 years 13 days ago
2007
Springer
Lately, there have been considerable efforts to computerize Clinical Practice Guidelines (CPG) so that they can be executed via Clinical Decision Support Systems (CDSS) at the poin...
143
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
159
click to vote
IJBC
2008
15 years 5 months ago
2008
: The main goal of this paper is to introduce part of a new approach of proving the existence of a nontrivial knot on any embedded template. This proof in branched 2-manifold case,...
156
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...