Sciweavers

4810 search results - page 698 / 962
» Modeling Value Speculation
Sort
View
ATAL
2006
Springer
15 years 8 months ago
Logics of propositional control
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
Jelle Gerbrandy
ICALP
2010
Springer
15 years 8 months ago
Example-Guided Abstraction Simplification
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
Roberto Giacobazzi, Francesco Ranzato
EDUTAINMENT
2008
Springer
15 years 8 months ago
Reconstruction of Tree Crown Shape from Scanned Data
Reconstruction of a real tree from scattered scanned points is a new challenge in virtual reality. Although many progresses are made on main branch structures and overall shape of ...
Chao Zhu, Xiaopeng Zhang, Bao-Gang Hu, Marc Jaeger
EVOW
2008
Springer
15 years 8 months ago
Detection of Quantitative Trait Associated Genes Using Cluster Analysis
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
Zhenyu Jia, Sha Tang, Dan Mercola, Shizhong Xu
ACSW
2007
15 years 8 months ago
Controlling Inference: Avoiding P-level Reduction during Analysis
This paper presents a concept hierarchy-based approach to privacy preserving data collection for data mining called the P-level model. The P-level model allows data providers to d...
Adepele Williams, Ken Barker