Sciweavers

720 search results - page 35 / 144
» Visualization of Description Logic Models
Sort
View
VISUALIZATION
1998
IEEE
14 years 11 days ago
Image-based transfer function design for data exploration in volume visualization
Transfer function design is an integrated component in volume visualization and data exploration. The common trial-and-error approach for transfer function searching is a very dif...
Shiaofen Fang, Tom Biddlecome, Mihran Tuceryan
CAV
1998
Springer
138views Hardware» more  CAV 1998»
14 years 11 days ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
JODL
2007
126views more  JODL 2007»
13 years 8 months ago
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...
Mark Gahegan, Ritesh Agrawal, Tawan Banchuen, Davi...
ML
2008
ACM
150views Machine Learning» more  ML 2008»
13 years 8 months ago
Learning probabilistic logic models from probabilistic examples
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, José Car...
ICFEM
2010
Springer
13 years 6 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...