Sciweavers

11212 search results - page 159 / 2243
» Semi-persistent Data Structures
Sort
View
146
Voted
CORR
2011
Springer
208views Education» more  CORR 2011»
14 years 9 months ago
GRASP and path-relinking for Coalition Structure Generation
In Artificial Intelligence with Coalition Structure Generation (CSG) one refers to those cooperative complex problems that require to find an optimal partition, maximising a soci...
Nicola Di Mauro, Teresa Maria Altomare Basile, Ste...
121
Voted
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 6 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu
115
Voted
LREC
2010
176views Education» more  LREC 2010»
15 years 4 months ago
LAF/GrAF-grounded Representation of Dependency Structures
This paper shows that a LAF/GrAF-based annotation schema can be used for the adequate representation of syntactic dependency structures in many languages. We first argue that ther...
Yoshihiko Hayashi, Thierry Declerck, Chiharu Naraw...
108
Voted
INTERACT
2007
15 years 4 months ago
CandidTree: Visualizing Structural Uncertainty in Similar Hierarchies
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...
Bongshin Lee, George G. Robertson, Mary Czerwinski...
UAI
1998
15 years 4 months ago
The Bayesian Structural EM Algorithm
In recent years there has been a flurry of works on learning Bayesian networks from data. One of the hard problems in this area is how to effectively learn the structure of a beli...
Nir Friedman