700 search results - page 100 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
ECLIPSE
2006
ACM
15 years 3 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
SOFTVIS
2010
ACM
14 years 10 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
AAAI
2011
13 years 9 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...