Sciweavers

1855 search results - page 232 / 371
» Probabilistic Frame-Based Systems
Sort
View
ECRTS
2004
IEEE
15 years 1 months ago
Comparing Real-Time Communication Under Electromagnetic Interference
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
Ian Broster, Alan Burns, Guillermo Rodrígue...
CHI
1995
ACM
15 years 1 months ago
LyberWorld: a 3D graphical user interface for fulltext retrieval
ld is a prototype IR user interface. It implements visualizations of an abstract information space – fulltext. The presentation demonstrates a visual user interface for the prob...
Matthias Hemmje
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 1 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
AAAI
2008
15 years 9 days ago
Learning to Connect Language and Perception
To truly understand language, an intelligent system must be able to connect words, phrases, and sentences to its perception of objects and events in the world. Current natural lan...
Raymond J. Mooney
ETFA
2008
IEEE
14 years 11 months ago
Efficient failure-free foundry production
Microshrinkages are known as probably the most difficult defects to avoid in high-precission foundry. Depending on the magnitude of this defect, the piece in which it appears must...
Yoseba K. Penya, Pablo Garcia Bringas, Argoitz Zab...