Sciweavers

2061 search results - page 200 / 413
» Measuring Corner Properties
Sort
View
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 7 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
HUC
2010
Springer
15 years 7 months ago
Bridging the gap between physical location and online social networks
This paper examines the location traces of 489 users of a location sharing social network for relationships between the users' mobility patterns and structural properties of ...
Justin Cranshaw, Eran Toch, Jason I. Hong, Aniket ...
EOR
2010
62views more  EOR 2010»
15 years 6 months ago
Residual income and value creation: An investigation into the lost-capital paradigm
This paper presents a new way of measuring residual income, originally introduced by Magni (2000a,b,c, 2001a,b, 2003). Contrary to the standard residual income, the capital charge...
Carlo Alberto Magni
IDA
2006
Springer
15 years 6 months ago
Supporting bi-cluster interpretation in 0/1 data by means of local patterns
Clustering or co-clustering techniques have been proved useful in many application domains. A weakness of these techniques remains the poor support for grouping characterization. ...
Ruggero G. Pensa, Céline Robardet, Jean-Fra...
165
Voted
CORR
2007
Springer
122views Education» more  CORR 2007»
15 years 6 months ago
Modeling Epidemic Spread in Synthetic Populations - Virtual Plagues in Massively Multiplayer Online Games
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...
Magnus Boman, Stefan J. Johansson