Sciweavers

2085 search results - page 76 / 417
» Special interest groups
Sort
View
ICML
2007
IEEE
16 years 1 months ago
Hierarchical maximum entropy density estimation
We study the problem of simultaneously estimating several densities where the datasets are organized into overlapping groups, such as a hierarchy. For this problem, we propose a m...
David M. Blei, Miroslav Dudík, Robert E. Sc...
107
Voted
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 4 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
101
Voted
IJBRA
2008
63views more  IJBRA 2008»
15 years 19 days ago
Protein cavity clustering based on community structure of pocket similarity network
: Functions of a protein are mainly determined by its structure. Surface cavities, also called pockets or clefts, are ordinarily regarded as potentially active sites where the prot...
Zhi-Ping Liu, Ling-Yun Wu, Yong Wang, Xiang-Sun Zh...
114
Voted
JUCS
2008
109views more  JUCS 2008»
15 years 18 days ago
Extending and Supporting Featured User Interface Models for the Development of Groupware Applications
: This paper presents a proposal to tackle the design and development of user interfaces for groupware applications. This proposal includes important design and implementation issu...
Victor M. Ruiz Penichet, María Dolores Loza...
96
Voted
JSC
2000
69views more  JSC 2000»
15 years 12 days ago
Generic Polynomials with Few Parameters
We call a polynomial g(t1, . . . , tm, X) over a field K generic for a group G if it has Galois group G as a polynomial in X, and if every Galois field extension N/L with K L and...
Gregor Kemper, Elena Mattig