15792 search results - page 2933 / 3159 » Computational Abstraction Steps |
112
click to vote
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—In pervasive computing, localizing a user in wireless indoor environments is an important yet challenging task. Among the state-of-art localization methods, fingerprint...
109
click to vote
AINA
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
ANTS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Tabulating elliptic curves has been carried out since the earliest days of machine computation in number theory. After some historical remarks, we report on significant r...
125
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. There are two complementary approaches to playing sums of combinatorial games. They can be characterized as local analysis and global search. Algorithms from combinatoria...