1620 search results - page 111 / 324 » Testing Polymorphic Properties |
160
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
176
Voted
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
Many recent works have attempted to improve object recognition by exploiting temporal dynamics, an intrinsic property of video sequences. In this paper, a new spatiotemporal hiera...
136
click to vote
FORTE
2004
15 years 6 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
99
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
140
Voted
NN
2002
Springer
15 years 4 months ago
2002
Springer
In this paper we introduce novel geometric concepts, namely category regions, in the original framework of Fuzzy-ART (FA) and FuzzyARTMAP (FAM). The definitions of these regions a...