3047 search results - page 271 / 610 » On the Meaning of Logical Completeness |
216
click to vote
AAAI
1990
15 years 8 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
180
click to vote
JLP
2006
15 years 7 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
233
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
165
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A complete multiple-input multiple-output (MIMO) communication system with orthogonal frequency-division multiplexing (OFDM) based on multiple excitation modes for a single circ...
180
click to vote
VR
2003
IEEE
16 years 26 days ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...