Sciweavers

91 search results - page 6 / 19
» Advice to Authors of Extended Abstracts
Sort
View
75
Voted
CACM
2004
88views more  CACM 2004»
14 years 11 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
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 6 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
102
Voted
RECOMB
2008
Springer
15 years 12 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...
90
Voted
ESOP
2006
Springer
15 years 3 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
AISC
2008
Springer
15 years 1 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...