Sciweavers

7213 search results - page 106 / 1443
» Automated model grouping
Sort
View
93
Voted
DLOG
2007
15 years 6 months ago
The Minimal Finite Model Visualization as an Ontology Debugging Tool
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
Martins Barinskis, Guntis Barzdins
JSYML
1998
41views more  JSYML 1998»
15 years 3 months ago
A Many Permutation Group Result for Unstable Theories
Abstract. We extend Shelah’s first many model result to show that an unstable theory has 2κ many non-permutation group isomorphic models of size κ, where κ is an uncountable ...
Mark D. Schlatter
144
Voted
COMCOM
2007
83views more  COMCOM 2007»
15 years 3 months ago
Cost analysis and optimization for IP multicast group management
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
Yongjun Li, James Zijun Wang
118
Voted
GIS
2008
ACM
15 years 3 months ago
An initial formal model for spatial data infrastructures
Jan Hjelmager, Harold Moellering, Antony Cooper, T...
112
Voted
IJNSEC
2008
103views more  IJNSEC 2008»
15 years 3 months ago
General Group Oriented ID-based Cryptosystems with Chosen Plaintext Security
A scheme for general group oriented ID-based cryptosystems is proposed. This scheme allows an authorized subset in the general access structure to cooperatively decrypt the cipher...
Chunxiang Xu, Junhui Zhou, Guozhen Xiao