4913 search results - page 748 / 983 » Results and Perspectives of the G |
200
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
181
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
197
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper suggests a new image compression scheme, using the discrete wavelet transformation (DWT), which is based on attempting to preserve the texturally important image charac...
168
click to vote
ISMIS
1999
Springer
15 years 11 months ago
1999
Springer
Semantic Query Optimisation makes use of the semantic knowledge of a database (rules) to perform query transformation. Rules are normally learned from former queries fired by the u...
141
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
The two-level fuzzy-lattice (2L-FL) learning scheme is introduced for application on an intelligent surgical (mechatronic) drill in the stapedotomy surgical procedure in the ear. ...