Sciweavers

1551 search results - page 44 / 311
» How Typical is the
Sort
View
SCM
2003
15 years 5 months ago
Dissecting Configuration Management Policies
A configuration management policy specifies the procedures through which a user evolves artifacts stored in a configuration management system. Different configuration management sy...
Ronald van der Lingen, André van der Hoek
IV
2010
IEEE
249views Visualization» more  IV 2010»
15 years 2 months ago
Real-Time Ray Tracing of Complex Molecular Scenes
—Molecular visualization is one of the cornerstones in structural bioinformatics and related fields. Today, rasterization is typically used for the interactive display of molecu...
Lukas Marsalek, Anna Katharina Dehof, Iliyan Georg...
JAIR
2011
123views more  JAIR 2011»
14 years 11 months ago
Regression Conformal Prediction with Nearest Neighbours
In this paper we apply Conformal Prediction (CP) to the k-Nearest Neighbours Regression (k-NNR) algorithm and propose ways of extending the typical nonconformity measure used for ...
Harris Papadopoulos, Vladimir Vovk, Alexander Gamm...
NFM
2011
242views Formal Methods» more  NFM 2011»
14 years 11 months ago
Model Checking Using SMT and Theory of Lists
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Aleksandar Milicevic, Hillel Kugler
TON
2010
162views more  TON 2010»
14 years 11 months ago
Fast Algorithms for Resource Allocation in Wireless Cellular Networks
Abstract--We consider a scheduled orthogonal frequency division multiplexed (OFDM) wireless cellular network where the channels from the base-station to the mobile users undergo fl...
Ritesh Madan, Stephen P. Boyd, Sanjay Lall