1342 search results - page 67 / 269 » Shape reasoning and understanding |
177
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
176
click to vote
ICDM
2003
IEEE
15 years 11 months ago
2003
IEEE
Clustering is an important technique for understanding and analysis of large multi-dimensional datasets in many scientific applications. Most of clustering research to date has be...
164
click to vote
RR
2007
Springer
15 years 12 months ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
134
click to vote
IROS
2009
IEEE
16 years 15 days ago
2009
IEEE
— This paper proposes a novel wearable interface for the foot: an on-shoe tactile display that enables users to obtain information through the sense of touch of their feet. A 16-...
159
click to vote
SI3D
1992
ACM
15 years 10 months ago
1992
ACM
3dm is a three dimensional (3D) surface modeling program that draws techniques of model manipulation from both CAD and drawing programs and applies them to modeling in an intuitiv...