2042 search results - page 242 / 409 » Automatic Understanding of Signals |
122
Voted
ERSHOV
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
122
Voted
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
125
Voted
DAC
2007
ACM
15 years 7 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
111
Voted
KDD
2010
ACM
15 years 7 months ago
2010
ACM
The process of extracting useful knowledge from large datasets has become one of the most pressing problems in today’s society. The problem spans entire sectors, from scientists...
112
Voted
ISER
2000
Springer
15 years 7 months ago
2000
Springer
: The ability to analyze individual cells rather than averaged properties over a population is a major step towards understanding the fundamental elements of biological systems. Re...