Sciweavers

1937 search results - page 223 / 388
» Starting B Specifications from Use Cases
Sort
View
EURODAC
1994
IEEE
209views VHDL» more  EURODAC 1994»
15 years 10 months ago
MOS VLSI circuit simulation by hardware accelerator using semi-natural models
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
Victor V. Denisenko
BCB
2010
140views Bioinformatics» more  BCB 2010»
15 years 1 months ago
Guiding belief propagation using domain knowledge for protein-structure determination
A major bottleneck in high-throughput protein crystallography is producing protein-structure models from an electrondensity map. In previous work, we developed Acmi, a probabilist...
Ameet Soni, Craig A. Bingman, Jude W. Shavlik
JASIS
2011
103views more  JASIS 2011»
15 years 1 months ago
Using global mapping to create more accurate document-level maps of research fields
We describe two general approaches to creating document-level maps of science. To create a local map one defines and directly maps a sample of data, such as all literature publish...
Richard Klavans, Kevin W. Boyack
DSS
2006
104views more  DSS 2006»
15 years 6 months ago
Supply chain information sharing in a macro prediction market
This paper aims to address supply chain partners' incentives for information sharing from an information systems design perspective. Specifically, we consider a supply chain ...
Zhiling Guo, Fang Fang, Andrew B. Whinston
ATAL
2009
Springer
15 years 7 months ago
Playing with Agent Coordination Patterns in MAGE
MAGE (Multi-Agent Game Environment) is a logic-based framework that uses games as a metaphor for representing complex agent activities within an artificial society. More specifical...
Visara Urovi, Kostas Stathis