Sciweavers

3053 search results - page 172 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
149
Voted
JUCS
2010
152views more  JUCS 2010»
14 years 10 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
142
Voted
NIPS
1998
15 years 5 months ago
SMEM Algorithm for Mixture Models
When learning a mixture model, we suffer from the local optima and model structure determination problems. In this paper, we present a method for simultaneously solving these prob...
Naonori Ueda, Ryohei Nakano, Zoubin Ghahramani, Ge...
148
Voted
JCB
2002
111views more  JCB 2002»
15 years 3 months ago
A General Edit Distance between RNA Structures
Arc-annotated sequences are useful in representing the structural information of RNA sequences. In general, RNA secondary and tertiary structures can be represented as a set of ne...
Tao Jiang, Guohui Lin, Bin Ma, Kaizhong Zhang
125
Voted
JDCTA
2010
122views more  JDCTA 2010»
14 years 10 months ago
The Financial Structure and High-Tech Industries Development in China
The transformation of economic development approach demands to develop high-tech industries, while high-tech industries can't develop without financial support, in which diff...
Liuyong Yang, Shensheng Mo, Anqi Zhou
120
Voted
ESORICS
2009
Springer
16 years 4 months ago
Tracking Information Flow in Dynamic Tree Structures
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov