Sciweavers

91 search results - page 6 / 19
» Advice to Authors of Extended Abstracts
Sort
View
90
Voted
CACM
2004
88views more  CACM 2004»
15 years 1 months ago
Natural development of ubiquitous interfaces
ent through the use of meaningful abstractions in order to avoid dealing with low-level details. Despite this potential benefit, their adoption has mainly been limited to professio...
Silvia Berti, Fabio Paternò, Carmen Santoro
113
Voted
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 8 months ago
A symmetric structure of variational and adjoint systems of stochastic Hamiltonian systems
Abstract-- The authors have extended deterministic portHamiltonian systems into stochastic dynamical systems which are described by stochastic differential equations written in the...
Satoshi Satoh, Kenji Fujimoto
RECOMB
2008
Springer
16 years 2 months ago
Hurdles Hardly Have to Be Heeded
Abstract. As data about genomic architecture accumulates, genomic rearrangements have attracted increasing attention. One of the main rearrangement mechanisms, inversions (also cal...
Krister M. Swenson, Yu Lin, Vaibhav Rajan, Bernard...
107
Voted
ESOP
2006
Springer
15 years 5 months ago
Type-Based Amortised Heap-Space Analysis
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
Martin Hofmann, Steffen Jost
106
Voted
AISC
2008
Springer
15 years 3 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...