Sciweavers

1937 search results - page 297 / 388
» Starting B Specifications from Use Cases
Sort
View
DAC
2007
ACM
15 years 8 months ago
Design for Verification in System-level Models and RTL
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
Anmol Mathur, Venkat Krishnaswamy
ICONIP
2008
15 years 6 months ago
A Hybrid Fuzzy Approach for Human Eye Gaze Pattern Recognition
Abstract. Face perception and text reading are two of the most developed visual perceptual skills in humans. Understanding which features in the respective visual patterns make the...
Dingyun Zhu, B. Sumudu U. Mendis, Tom Gedeon, Aksh...
UAI
1996
15 years 6 months ago
Bayesian Learning of Loglinear Models for Neural Connectivity
This paper presents a Bayesian approach to learning the connectivity structure of a group of neurons from data on configuration frequencies. A major objective of the research is t...
Kathryn B. Laskey, Laura Martignon
IJHPCA
2006
109views more  IJHPCA 2006»
15 years 4 months ago
A Resource Leasing Policy for on-Demand Computing
Leasing computational resources for on-demand computing is now a viable option for providers of network services. Temporary spikes or lulls in demand for a service can be accommod...
Darin England, Jon B. Weissman
JASIS
2006
68views more  JASIS 2006»
15 years 4 months ago
Query expansion behavior within a thesaurus-enhanced search environment: A user-centered evaluation
e to the CAB abstracts database. Data-gathering techniques included questionnaires, screen capturing software, and interviews. The results presented here relate to issues of search...
Ali Asghar Shiri, Crawford Revie