1240 search results - page 176 / 248 » Computational Structure of coordinate transformations: A gen... |
228
click to vote
NAR
2011
14 years 4 months ago
2011
The Biological General Repository for Interaction Datasets (BioGRID) is a public database that archives and disseminates genetic and protein interaction data from model organisms ...
130
click to vote
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the design, implementation, visualizations, results and lessons learned of a novel real-world socio-technical research system for the purpose of rescheduling ...
110
click to vote
CASES
2008
ACM
14 years 11 months ago
2008
ACM
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...