19130 search results - page 3624 / 3826 » Modelling multi-path problems |
155
click to vote
ZUM
1997
Springer
15 years 7 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
207
click to vote
STOC
1993
ACM
15 years 6 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
127
click to vote
ACMICEC
2007
ACM
15 years 6 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...
181
Voted
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
146
click to vote
AMFG
2007
IEEE
15 years 6 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...