Sciweavers

1133 search results - page 33 / 227
» Decision Support Systems Using Hybrid Neurocomputing
Sort
View
TEI
2012
ACM
257views Hardware» more  TEI 2012»
12 years 4 months ago
Beyond affordance: tangibles' hybrid nature
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
Eva Hornecker
DESRIST
2009
Springer
153views Education» more  DESRIST 2009»
13 years 6 months ago
An approach for designing management support systems: the design science research process and its outcomes
Design science research involves creating and evaluating innovative methods and approaches to be used in design practice. We present an approach to be used in the process of desig...
Sven A. Carlsson, Stefan Henningsson, Stefan Hrast...
IJHPCA
2010
117views more  IJHPCA 2010»
13 years 7 months ago
Fine-Grained Multithreading Support for Hybrid Threaded MPI Programming
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...
Pavan Balaji, Darius Buntinas, David Goodell, Will...
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 8 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CAV
2008
Springer
161views Hardware» more  CAV 2008»
13 years 10 months ago
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
Sumit Gulwani, Ashish Tiwari