8917 search results - page 1264 / 1784 » Abstraction in Algorithm Animation |
192
click to vote
ISOLA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
197
click to vote
ISPA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
173
click to vote
ISPA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. In mobile ad hoc networks (MANETs), networks can be partitioned into clusters. Clustering algorithms are localized algorithms that have the property of creating an upper ...
181
click to vote
PERVASIVE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. In this work, algorithms are developed and evaluated to detect physical activities from data acquired using five small biaxial accelerometers worn simultaneously on di...
224
Voted
PKDD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Orange (www.ailab.si/orange) is a suite for machine learning and data mining. It can be used though scripting in Python or with visual programming in Orange Canvas using ...