Sciweavers

8337 search results - page 1354 / 1668
» Reasoning With Characteristic Models
Sort
View
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 12 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
HICSS
2003
IEEE
202views Biometrics» more  HICSS 2003»
15 years 12 months ago
Automated Coaching of Collaboration Based on Workspace Analysis: Evaluation and Implications for Future Learning Environments
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
María de los Angeles Constantino-Gonz&aacut...
HICSS
2003
IEEE
174views Biometrics» more  HICSS 2003»
15 years 12 months ago
Semantic Interoperability in the Fixed Income Securities Industry: A Knowledge Representation Architecture for Dynamic Integrati
We examine a knowledge representation architecture to support context interchange mediation. For autonomous receivers and sources sharing a common subject domain, the mediator’s...
Allen Moulton, Stuart E. Madnick, Michael Siegel
ICRA
2003
IEEE
91views Robotics» more  ICRA 2003»
15 years 12 months ago
Internal posture sensing for a flexible frame modular mobile robot
- A sensor fusion algorithm for flexible framed modular mobile robots is presented in this paper. This algorithm uses traditional Kalman filters and rigid axle kinematic models to ...
Roy Merrell, Mark A. Minor
IUI
2003
ACM
15 years 12 months ago
Sticky notes for the semantic web
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...
David R. Karger, Boris Katz, Jimmy J. Lin, Dennis ...
« Prev « First page 1354 / 1668 Last » Next »