Sciweavers

26 search results - page 4 / 6
» Extending Metasystem Functionality Using Reflection
Sort
View
POPL
2005
ACM
15 years 10 months ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula
JUCS
2010
109views more  JUCS 2010»
14 years 4 months ago
Semantics of Query-Driven Communication of Exact Values
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
Michal Konecný, Amin Farjudian
HT
1998
ACM
15 years 2 months ago
Enforcing Strong Object Typing in Flexible Hypermedia
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
Pedro Furtado, Henrique Madeira
IJDMB
2007
110views more  IJDMB 2007»
14 years 10 months ago
Transductive learning with EM algorithm to classify proteins based on phylogenetic profiles
: Phylogenetic profiles of proteins  strings of ones and zeros encoding respectively the presence and absence of proteins in a group of genomes  have recently been used to id...
Roger A. Craig, Li Liao
SDM
2008
SIAM
139views Data Mining» more  SDM 2008»
14 years 11 months ago
Semi-Supervised Learning Based on Semiparametric Regularization
Semi-supervised learning plays an important role in the recent literature on machine learning and data mining and the developed semisupervised learning techniques have led to many...
Zhen Guo, Zhongfei (Mark) Zhang, Eric P. Xing, Chr...