7009 search results - page 912 / 1402 » Patterns in Complex Systems Modeling |
210
click to vote
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
219
click to vote
IBPRIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
197
click to vote
ICARIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this conceptual paper, we report on studies and initial definitions of an immune-inspired approach to temporal anomaly detection problems, where there is a strict temp...
193
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Due to the real time nature and buddy list presence information of Instant Messaging (IM) systems worms can spread over IM networks rapidly, causing severe damages, however, it...
183
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
The incorporation of a trust network among the users of a recommender system (RS) proves beneficial to the quality and amount of recommendations. Involving also distrust can offe...