1717 search results - page 276 / 344 » A Computable Spectral Theorem |
121
click to vote
SMA
2005
ACM
15 years 10 months ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
135
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This publication summarizes research on the the design and implementation of liberalized version of existing truth-finding protocols for argumentation, such as the standard two-a...
125
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
129
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transform...
107
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...