1486 search results - page 263 / 298 » Mathematical Fuzzy Logics |
FORTE
2007
15 years 1 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
PTS
2007
15 years 1 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
ICHIM
2001
15 years 1 months ago
2001
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
BIRTHDAY
2010
Springer
15 years 18 hour ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
104
click to vote
ENTCS
2008
14 years 12 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...