1446 search results - page 104 / 290 » Testing for Concise Representations |
POPL
2010
ACM
15 years 1 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
110
Voted
NIPS
2007
15 years 10 days ago
2007
Stimulus selectivity of sensory neurons is often characterized by estimating their receptive field properties such as orientation selectivity. Receptive fields are usually deriv...
95
Voted
MOBICOM
2010
ACM
14 years 11 months ago
2010
ACM
Short Messaging Service (SMS) based mobile information services have become increasingly common around the world, especially in emerging regions among users with low-end mobile de...
FBIT
2007
IEEE
15 years 5 months ago
2007
IEEE
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
94
Voted
WCRE
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...