2304 search results - page 183 / 461 » Natix Visual Interfaces |
133
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
126
click to vote
CIVR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper outlines the technical details of a prototype system for searching and browsing over a million images from the World Wide Web using their visual contents. The ...
133
click to vote
BCSHCI
2008
15 years 5 months ago
2008
An understanding of how people in social networks consume news media by and about their friends shows that information overload is soon going to be a major problem for many partic...
102
Voted
HCI
2007
15 years 5 months ago
2007
In this paper we present a semi-automatic ontology editor as implemented in a new version of OntoGen system. The system integrates machine learning and text mining algorithms into ...
150
click to vote
LANMR
2007
15 years 5 months ago
2007
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...