Sciweavers

892 search results - page 87 / 179
» From Visualization to Visually Enabled Reasoning
Sort
View
FPL
2001
Springer
96views Hardware» more  FPL 2001»
14 years 2 months ago
System Level Tools for DSP in FPGAs
Abstract. Visual data ow environments are ideally suited for modeling digital signal processing (DSP) systems, as many DSP algorithms are most naturally speci ed by signal ow gra...
James Hwang, Brent Milne, Nabeel Shirazi, Jeffrey ...
WSC
2004
13 years 11 months ago
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
Hans Vangheluwe, Juan de Lara
WWW
2010
ACM
13 years 10 months ago
Talking about data: sharing richly structured information through blogs and wikis
Abstract. Several projects have brought rich data semantics to collaborative wikis, but blogging platforms remain primarily limited to text. As blogs comprise a significant portion...
Edward Benson, Adam Marcus 0002, Fabian Howahl, Da...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 3 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
ASSETS
1998
ACM
14 years 2 months ago
Conversational Gestures for Direct Manipulation on the Audio Desktop
We describe the speech-enabling approach to building auditory interfaces that treat speech as a first-class modality. The process of designing effective auditory interfaces is de...
T. V. Raman