1626 search results - page 320 / 326 » Subtyping with Power Types |
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Online social networks offer opportunities to analyze user behavior and social connectivity and leverage resulting insights for effective online advertising. We study the adopti...
ISSRE
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
JOI
2010
13 years 6 months ago
2010
The principle of a new type of impact measure was introduced recently, called the "audience factor" (AF). It is a variant of the journal impact factor where emitted cita...
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
MP
2010
13 years 6 months ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...