3053 search results - page 95 / 611 » Structured Objects: Modeling and Reasoning |
112
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Current object group selection techniques such as lasso or rectangle selection can be time consuming and error prone. This is apparent when selecting distant objects on a large di...
118
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Model-based diagnosis is the field of research concerned with the problem of finding faults ms by reasoning with abstract models of the systems. Typically, such models offer a ...
145
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
156
click to vote
ISKI
1994
15 years 7 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
149
click to vote
HT
1991
ACM
15 years 6 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...