Sciweavers

1300 search results - page 241 / 260
» Visual Languages
Sort
View
CODES
2008
IEEE
14 years 11 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
105
Voted
ECAI
2008
Springer
14 years 11 months ago
Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
Pierre Lison, Geert-Jan M. Kruijff
BCSHCI
2008
14 years 11 months ago
PDP: pen driven programming
Programming is an activity centred primarily around the keyboard which is not necessarily the optimal input device for all users. Little research has taken place into alternative ...
Jonathan Frye, Björn Franke
SERP
2007
14 years 11 months ago
Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
Kendra Cooper, Lirong Dai, Sergiu Dascalu, Nehal M...
RIAO
2004
14 years 11 months ago
Ontologies as Background Knowledge to Explore Document Collections
This paper introduces a new approach to provide users with solutions to explore a domain via an information space. A key point in our approach is that information searching and ex...
Nathalie Aussenac-Gilles, Josiane Mothe