2623 search results - page 474 / 525 » Hoare Logic in the Abstract |
127
Voted
APVIS
2009
15 years 1 months ago
2009
Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place the...
110
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
122
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
168
Voted
FC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The dawning Ubiquitous Computing age demands a new attacker model for the myriads of pervasive computing devices used: since a potentially malicious user is in full contr...
113
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...