5084 search results - page 202 / 1017 » Proving Possibility Properties |
157
click to vote
Publication
In this note we aim to give a new, elementary proof of a statement that was first proved by Timofte (2003) [15]. It says that a symmetric real polynomial F of degree d in n variabl...
142
click to vote
SEMWEB
2009
Springer
16 years 29 days ago
2009
Springer
State of the art ontology matching techniques are limited to detect simple correspondences between atomic concepts and properties. Nevertheless, for many concepts and properties at...
152
click to vote
KBSE
2005
IEEE
16 years 36 min ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
136
click to vote
AAMAS
2005
Springer
15 years 12 months ago
2005
Springer
It is difficult to define a set of rules for a cellular automaton (CA) such that creatures with life-like properties (stability and dynamic behaviour, reproducton and self-repai...
165
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...