104 search results - page 15 / 21 » Formal concept analysis of higher order |
101
click to vote
IBPRIA
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
130
click to vote
APN
1992
Springer
15 years 4 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
114
Voted
KES
2006
Springer
15 years 14 days ago
2006
Springer
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
114
click to vote
IFL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
119
click to vote
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...