Sciweavers

13180 search results - page 2070 / 2636
» Network Models
Sort
View
PLDI
2006
ACM
16 years 1 months ago
A global progressive register allocator
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...
David Ryan Koes, Seth Copen Goldstein
196
Voted
ENTCS
2008
110views more  ENTCS 2008»
15 years 7 months ago
Game-Based Probabilistic Predicate Abstraction in PRISM
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...
TWC
2008
100views more  TWC 2008»
15 years 7 months ago
An Empirical Study on Time-Correlation of GSM Telephone Traffic
Abstract--In this paper, we investigate possible timecorrelation of answered call arrivals in sets of real GSM telephone traffic data. Instead of attempting to model the empirical ...
Stefano Bregni, Roberto Cioffi, Maurizio Decina
HUC
2010
Springer
15 years 5 months ago
Routine as resource for the design of learning systems
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
Scott Davidoff
ECAI
2010
Springer
15 years 5 months ago
Continuous Conditional Random Fields for Regression in Remote Sensing
Conditional random fields (CRF) are widely used for predicting output variables that have some internal structure. Most of the CRF research has been done on structured classificati...
Vladan Radosavljevic, Slobodan Vucetic, Zoran Obra...
« Prev « First page 2070 / 2636 Last » Next »