Sciweavers

5578 search results - page 642 / 1116
» Base Class Injection
Sort
View
ISBI
2007
IEEE
16 years 1 months ago
Prospecting for Live Cell Bioimaging Probes with Cheminformatic Assisted Image Array (caia)
Cheminformatic Assisted Image Array (CAIA) is a data mining and visualization tool linking chemical structures to microscope images of cells incubated with prospective bioimaging ...
Maria M. Posada, Kerby Shedden, Young Tae Chang, Q...
ATAL
2007
Springer
16 years 1 months ago
Constraint satisfaction algorithms for graphical games
We formulate the problem of computing equilibria in multiplayer games represented by arbitrary undirected graphs as a constraint satisfaction problem and present two algorithms. T...
Vishal Soni, Satinder P. Singh, Michael P. Wellman
BIOWIRE
2007
Springer
16 years 1 months ago
A Rule System for Network-Centric Operation in Massively Distributed Systems
Sensor and Actor Networks (SANETs) represent a specific class of massively distributed systems in which classical communication protocols often fail due to scalability problems. N...
Falko Dressler, Reinhard German
CALCO
2007
Springer
112views Mathematics» more  CALCO 2007»
16 years 1 months ago
Impossibility Results for the Equational Theory of Timed CCS
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Luca Aceto, Anna Ingólfsdóttir, Moha...
ESWS
2007
Springer
16 years 1 months ago
Acquisition of OWL DL Axioms from Lexical Resources
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
Johanna Völker, Pascal Hitzler, Philipp Cimia...