Sciweavers

703 search results - page 78 / 141
» Fundamentals of Session Types
Sort
View
119
Voted
AUTOMATICA
2004
125views more  AUTOMATICA 2004»
15 years 3 months ago
Hamiltonian discretization of boundary control systems
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
Goran Golo, Viswanath Talasila, Arjan van der Scha...
146
Voted
ICDE
2011
IEEE
263views Database» more  ICDE 2011»
14 years 7 months ago
Adding regular expressions to graph reachability and pattern queries
—It is increasingly common to find graphs in which edges bear different types, indicating a variety of relationships. For such graphs we propose a class of reachability queries ...
Wenfei Fan, Jianzhong Li, Shuai Ma, Nan Tang, Ying...
168
Voted
NAR
2011
188views Computer Vision» more  NAR 2011»
14 years 6 months ago
The Gene Expression Barcode: leveraging public data repositories to begin cataloging the human and murine transcriptomes
Various databases have harnessed the wealth of publicly available microarray data to address biological questions ranging from across-tissue differential expression to homologous ...
Matthew N. McCall, Karan Uppal, Harris A. Jaffee, ...
208
Voted
CP
2011
Springer
14 years 3 months ago
Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds
A Distributed Constraint Optimization Problem (DCOP) is a fundamental problem that can formalize various applications related to multi-agent cooperation. Since it is NP-hard, consi...
Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Mako...
117
Voted
SIGUCCS
1998
ACM
15 years 7 months ago
IT Training for Students, Who Needs It?
This presentation will be a discussion of two Information Technology training programs at the university/college level. The two programs are ”The Student Peer Trainers”(SPT) a...
Penny Haselwander