3384 search results - page 231 / 677 » More Testable Properties |
162
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
156
click to vote
ACAL
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents in-formation flocking, a novel information visualization technique that extends the original information flocking concept with dynamic and data-driven visual fo...
167
click to vote
AIIA
2007
Springer
16 years 23 days ago
2007
Springer
Structured Hidden Markov Model (S-HMM) is a variant of Hierarchical Hidden Markov Model that shows interesting capabilities of extracting knowledge from symbolic sequences. In fact...
158
click to vote
COREGRID
2007
Springer
16 years 23 days ago
2007
Springer
Abstract Grid Computing is now in the state of development that can offer dynamic management of various parameters that affect the applications’ properties such as performance an...
178
click to vote
ECAL
2007
Springer
16 years 23 days ago
2007
Springer
Anticipation is one of the key aspects involved in flexible and adaptive behavior. The ability for an autonomous agent to extract a relevant model of its coupling with the environ...