2282 search results - page 259 / 457 » Active property checking |
139
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Previous workflow mining works have concentrated their efforts on process behavioral aspects. Although powerful, these proposals are found lacking in functionalities and performanc...
148
click to vote
ICCL
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
153
Voted
CVBIA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a method for finding the boundaries between adjacent regions in an image, where “seed” areas have already been identified in the individual regions to be...
141
click to vote
ESANN
2007
15 years 6 months ago
2007
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
138
Voted
FOMI
2008
15 years 6 months ago
2008
In ontology the underlying nature of things is sought. Thus it is that the roles things play can sometimes be neglected. Some different sorts of things that get called roles: place...