1001 search results - page 155 / 201 » Digitization and Value Creation |
103
click to vote
EURASIP
1990
15 years 3 months ago
1990
Inversionof multilayersynchronous networks is a method which tries to answer questions like What kind of input will give a desired output?" or Is it possible to get a desired...
ACMACE
2007
ACM
15 years 3 months ago
2007
ACM
Given the interactive media characteristics and intrinsically motivating appeal, computer games are often praised for their potential and value in education. However, comprehensiv...
ELPUB
2007
ACM
15 years 3 months ago
2007
ACM
There are now a large number of repositories in the world, contributing a significant amount of content to the world's scholars and scientists. The landscape has changed sinc...
105
click to vote
FORMATS
2009
Springer
15 years 3 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
114
click to vote
ICCAD
2007
IEEE
15 years 3 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...