Sciweavers

2777 search results - page 437 / 556
» Understanding ontological engineering
Sort
View
138
Voted
WSC
2007
15 years 7 months ago
Enabling smooth and scalable dynamic 3d visualization of discrete-event construction simulations in outdoor augmented reality
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
Amir H. Behzadan, Vineet R. Kamat
AMAST
2008
Springer
15 years 6 months ago
Generating Specialized Rules and Programs for Demand-Driven Analysis
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 6 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
IUI
2010
ACM
15 years 6 months ago
Finding your way in a multi-dimensional semantic space with luminoso
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
Robert Speer, Catherine Havasi, K. Nichole Treadwa...
128
Voted
AAAI
2010
15 years 6 months ago
Optimal Strategies for Reviewing Search Results
Web search engines respond to a query by returning more results than can be reasonably reviewed. These results typically include the title, link, and snippet of content from the t...
Jeff Huang, Anna Kazeykina