Sciweavers

3224 search results - page 399 / 645
» Abstract Error Projection
Sort
View
WSPI
2008
15 years 8 months ago
Semantics of Information as Interactive Computation
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...
Gordana Dodig-Crnkovic
IJMMS
2008
90views more  IJMMS 2008»
15 years 6 months ago
Pair programming and the mysterious role of the navigator
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
Sallyann Bryant, Pablo Romero, Benedict du Boulay
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 3 months ago
Optimal measures and transition kernels
Abstract. We study positive measures that are solutions to an abstract optimisation problem, which is a generalisation of a classical variational problem with a constraint on infor...
Roman V. Belavkin
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 10 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl
STOC
2004
ACM
152views Algorithms» more  STOC 2004»
16 years 6 months ago
Exponential separation of quantum and classical one-way communication complexity
Abstract. We give the first exponential separation between quantum and bounded-error randomized one-way communication complexity. Specifically, we define the Hidden Matching Proble...
Ziv Bar-Yossef, T. S. Jayram, Iordanis Kerenidis