1528 search results - page 161 / 306 » Performance Assertion Checking |
124
click to vote
BELL
2000
15 years 2 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
130
Voted
PRESENCE
1998
15 years 2 months ago
1998
We propose an accurate collision detection algorithm for use in virtual reality applications. The algorithm works for three-dimensional graphical environments where multiple objec...
116
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Skyline queries are important due to their usefulness in many application domains. However, by increasing the number of attributes, the probability that a tuple dominates another ...
140
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...
108
Voted
MFCS
2010
Springer
15 years 29 days ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...