Sciweavers

1042 search results - page 130 / 209
» Ontology: The Discipline and the Tool
Sort
View
DLOG
2003
15 years 7 months ago
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents
In this paper, we introduce RICE, a graphical application for interacting with the description logic inference server Racer. Comparing RICE with OilEd, we address the problem of v...
Ralf Möller, Ronald Cornet, Volker Haarslev
SEFM
2009
IEEE
16 years 1 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin
IV
2008
IEEE
112views Visualization» more  IV 2008»
16 years 23 days ago
Directions for Methodological Research in Information Visualization
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
Brock Craft, Paul A. Cairns
IEEESCC
2007
IEEE
16 years 20 days ago
Development of NeuronBank: A Federation of Customizable Knowledge Bases of Neuronal Circuitry
Knowledge of neuronal circuitry is foundational to the neurosciences, but no tools have been developed for cataloguing this knowledge. Part of the problem is that the concepts use...
Robert J. Calin-Jageman, Akshaye Dhawan, Hong Yang...
EH
2005
IEEE
119views Hardware» more  EH 2005»
15 years 12 months ago
Evolutionary Computation Technologies for the Automated Design of Space Systems
The Evolvable Computation Group, at NASA’s Jet Propulsion Laboratory, is tasked with demonstrating the utility of computational engineering and computer optimized design for com...
Richard Terrile, Hrand Aghazarian, Michael I. Ferg...