Sciweavers

6656 search results - page 248 / 1332
» Change, Change, Change: Three Approaches
Sort
View
ESAW
2006
Springer
15 years 10 months ago
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
Tim Miller, Peter McBurney
BMCBI
2008
127views more  BMCBI 2008»
15 years 6 months ago
Gene and pathway identification with Lp penalized Bayesian logistic regression
Background: Identifying genes and pathways associated with diseases such as cancer has been a subject of considerable research in recent years in the area of bioinformatics and co...
Zhenqiu Liu, Ronald B. Gartenhaus, Ming Tan, Feng ...
BMCBI
2006
87views more  BMCBI 2006»
15 years 6 months ago
Prediction of indirect interactions in proteins
Background: Both direct and indirect interactions determine molecular recognition of ligands by proteins. Indirect interactions can be defined as effects on recognition controlled...
Peteris Prusis, Staffan Uhlén, Ramona Petro...
DKE
2006
157views more  DKE 2006»
15 years 6 months ago
XML structural delta mining: Issues and challenges
Recently, there is an increasing research efforts in XML data mining. These research efforts largely assumed that XML documents are static. However, in reality, the documents are ...
Qiankun Zhao, Ling Chen 0002, Sourav S. Bhowmick, ...
SPIN
2010
Springer
15 years 5 months ago
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric