8917 search results - page 1629 / 1784 » Abstraction in Algorithm Animation |
176
click to vote
AMAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
189
click to vote
CJ
2010
15 years 3 months ago
2010
Sensor networks face a number of challenges when deployed in unpredictable environments under dynamic, quickly changeable demands, and when shared by many partners, which is often...
186
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
216
click to vote
DEXA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. There is a significant commercial and research interest in locationbased web search engines. Given a number of search keywords and one or more locations that a user is in...
248
click to vote
ECEASST
2010
15 years 3 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...