15792 search results - page 258 / 3159 » Computational Abstraction Steps |
170
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
188
click to vote
ICB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Most of gait recognition algorithms involve walking cycle estimation to accomplish signature matching. However, we may be plagued by two cycle-related issues when develop...
155
click to vote
MSWIM
2005
ACM
16 years 24 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
229
click to vote
CIS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In this paper, we present a novel multi-stage algorithm for 3D medical image segmentation that is inspired by an improved Fast Marching method and a morphological reconst...
204
click to vote
ISMIS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...