Sciweavers

3925 search results - page 270 / 785
» Measuring software evolution
Sort
View
ECSCW
1997
15 years 7 months ago
The Production of Order and the Order of Production
Drawing on a fieldwork study, this paper considers different design options for the development of a system for facilitating distributed organisation and distributed working withi...
Graham Button, Wes Sharrock
AUTOMATICA
2008
102views more  AUTOMATICA 2008»
15 years 6 months ago
A set-membership state estimation algorithm based on DC programming
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...
T. Alamo, J. M. Bravo, M. J. Redondo, Eduardo F. C...
IANDC
1998
72views more  IANDC 1998»
15 years 6 months ago
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang
JMLR
2012
13 years 8 months ago
Deep Boltzmann Machines as Feed-Forward Hierarchies
The deep Boltzmann machine is a powerful model that extracts the hierarchical structure of observed data. While inference is typically slow due to its undirected nature, we argue ...
Grégoire Montavon, Mikio L. Braun, Klaus-Ro...
PATMOS
2004
Springer
15 years 11 months ago
Run-Time Software Monitor of the Power Consumption of Wireless Network Interface Cards
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...
Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bo...