1634 search results - page 115 / 327 » Reasoning about Knowledge Using Rough Sets |
173
Voted
IJCV
1998
15 years 3 months ago
1998
This paper presents a method that uses the level sets of volumes to reconstruct the shapes of 3D objects from range data. The strategy is to formulate 3D reconstruction as a stati...
131
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
141
Voted
FLAIRS
2007
15 years 6 months ago
2007
Episodic knowledge is often stored in the form of textual narratives written in natural language. However, a large repository of such narratives will contain both repetitive and n...
120
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
122
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...