7213 search results - page 106 / 1443 » Automated model grouping |
DLOG
2007
15 years 9 days ago
2007
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.
JSYML
1998
14 years 9 months ago
1998
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 ...
COMCOM
2007
14 years 10 months ago
2007
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...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
IJNSEC
2008
14 years 10 months ago
2008
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...