Sciweavers

589 search results - page 72 / 118
» Introducing Dynamic Constraints in B
Sort
View
OAS
2003
13 years 9 months ago
Collaborative Understanding of Distributed Ontologies in a Multiagent Framework: Design and Experiments
In this paper, we describe our work-in-progress with collaborative understanding of distributed ontologies in a multiagent framework. As reported earlier, the objective of this fr...
Leen-Kiat Soh
GLVLSI
2008
IEEE
169views VLSI» more  GLVLSI 2008»
13 years 8 months ago
Simultaneous optimization of memory configuration and code allocation for low power embedded systems
This paper proposes a hybrid memory architecture which consists of the following two regions; 1) a dynamic power conscious region which uses low Vdd and Vth and 2) a static power ...
Tadayuki Matsumura, Tohru Ishihara, Hiroto Yasuura
AUTOMATICA
2006
74views more  AUTOMATICA 2006»
13 years 8 months ago
Distributed receding horizon control for multi-vehicle formation stabilization
We consider the control of interacting subsystems whose dynamics and constraints are decoupled, but whose state vectors are coupled non-separably in a single cost function of a fi...
William B. Dunbar, Richard M. Murray
RECOMB
2003
Springer
14 years 8 months ago
On de novo interpretation of tandem mass spectra for peptide identification
The correct interpretation of tandem mass spectra is a difficult problem, even when it is limited to scoring peptides against a database. De novo sequencing is considerably harder...
Vineet Bafna, Nathan Edwards
APCSAC
2001
IEEE
13 years 11 months ago
The First Real Operating System for Reconfigurable Computers
Traditional reconfigurable computing platforms are designed to be single user and have been acknowledged to be difficult to design applications for. The design tools are still pri...
Grant B. Wigley, David A. Kearney