Sciweavers

833 search results - page 117 / 167
» mc 2007
Sort
View
WOTUG
2007
13 years 9 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
CC
2007
Springer
158views System Software» more  CC 2007»
13 years 7 months ago
The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
Pierre McKenzie, Klaus W. Wagner
CHI
2007
ACM
14 years 8 months ago
An adaptive & adaptable approach to enhance web graphics accessibility for visually impaired people
To date, efforts have been made to enable visually impaired people to gain access to graphics on the Internet. However, these studies only offer a solution for a specific type of ...
Chui Chui Tan, Wai Yu, Graham McAllister
ICDM
2007
IEEE
133views Data Mining» more  ICDM 2007»
14 years 2 months ago
Topical N-Grams: Phrase and Topic Discovery, with an Application to Information Retrieval
Most topic models, such as latent Dirichlet allocation, rely on the bag-of-words assumption. However, word order and phrases are often critical to capturing the meaning of text in...
Xuerui Wang, Andrew McCallum, Xing Wei
IJCNN
2007
IEEE
14 years 2 months ago
Theta Neuron Networks: Robustness to Noise in Embedded Applications
- In this paper, we train a one-layer Theta Neuron Network (TNN) to perform a Braitenberg obstacle avoidance algorithm on a Khepera robot. The Theta neuron model is more biological...
Sam McKennoch, Preethi Sundaradevan, Linda G. Bush...