2409 search results - page 293 / 482 » Logical systems for structured specifications |
178
Voted
TIP
2008
15 years 4 months ago
2008
Abstract--Hyperspectral images present some specific characteristics that should be used by an efficient compression system. In compression, wavelets have shown a good adaptability...
122
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
125
Voted
DIAGRAMS
2006
Springer
15 years 7 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
171
click to vote
RSCTC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
111
click to vote
AAAI
1994
15 years 5 months ago
1994
A knowledge acquisition tool should provide a user with maximum guidance in extending and debugging a knowledge base, by preventing inconsistencies and knowledge gaps that may ari...