Sciweavers

4917 search results - page 626 / 984
» Software Engineering is Not Computer Science
Sort
View
ISORC
2003
IEEE
16 years 2 days ago
Compositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
Hermann Kopetz, Neeraj Suri
UIST
2003
ACM
16 years 1 days ago
VisionWand: interaction techniques for large displays using a passive wand tracked in 3D
A passive wand tracked in 3D using computer vision techniques is explored as a new input mechanism for interacting with large displays. We demonstrate a variety of interaction tec...
Xiang Cao, Ravin Balakrishnan
FOSSACS
2003
Springer
16 years 22 hour ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
EUROCAST
1997
Springer
85views Hardware» more  EUROCAST 1997»
15 years 11 months ago
Turing Universality of Neural Nets (Revisited)
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...
João Pedro Guerreiro Neto, Hava T. Siegelma...
165
Voted
ETS
2002
IEEE
87views Hardware» more  ETS 2002»
15 years 6 months ago
IT-Giftedness in Children and Adolescents
IT-giftedness represents abilities related with widely differing uses of information technologies (IT). Children and adolescents often exhibit surprising abilities in the use of c...
Julia D. Babaeva, Alexander E. Voiskounsky