Sciweavers

11066 search results - page 2198 / 2214
» Linearity in Process Languages
Sort
View
CORR
2010
Springer
137views Education» more  CORR 2010»
14 years 9 months ago
Open Graphs and Monoidal Theories
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
Lucas Dixon, Aleks Kissinger
CORR
2008
Springer
116views Education» more  CORR 2008»
14 years 9 months ago
An Evidential Path Logic for Multi-Relational Networks
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
Marko A. Rodriguez, Joe Geldart
100
Voted
AI
2006
Springer
14 years 9 months ago
Generating and evaluating evaluative arguments
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
Giuseppe Carenini, Johanna D. Moore
ARTMED
2006
158views more  ARTMED 2006»
14 years 9 months ago
CareVis: Integrated visualization of computerized protocols and temporal patient data
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
Wolfgang Aigner, Silvia Miksch
BMCBI
2006
128views more  BMCBI 2006»
14 years 9 months ago
Construction of a nasopharyngeal carcinoma 2D/MS repository with Open Source XML Database - Xindice
Background: Many proteomics initiatives require integration of all information with uniformcriteria from collection of samples and data display to publication of experimental resu...
Feng Li, Maoyu Li, Zhiqiang Xiao, Pengfei Zhang, J...
« Prev « First page 2198 / 2214 Last » Next »