17298 search results - page 261 / 3460 » Abstract computing machines |
134
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
105
click to vote
BMCBI
2007
15 years 4 months ago
2007
abstract Niels Landwehr1 , Taneli Mielik¨ainen2 , Lauri Eronen2 , Hannu Toivonen1,2 , and Heikki Mannila2 1 Machine Learning Lab, Dept. of Comp. Science, University of Freiburg, G...
136
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A support vector machine based algorithm for corner detection is presented. It is based on computing the direction of maximum gray-level change for each edge pixel in an image, an...
154
Voted
ISCOPE
1998
Springer
15 years 8 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
133
click to vote
ICPP
1995
IEEE
15 years 7 months ago
1995
IEEE
— Large parallel computers require techniques to tolerate the potentially large latencies of accessing remote data. Multithreadingis onesuch technique. We extend previous studies...