1247 search results - page 91 / 250 » A First Report on the A |
199
click to vote
JSS
2010
15 years 1 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
173
click to vote
NETWORK
2010
15 years 1 months ago
2010
Since the first operational IPTV networks have been deployed, service providers and operators have struggled to make their subscribers happy and satisfied with their services. To ...
160
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
Abstract. We study discontinuous Galerkin methods for solving elliptic variational inequalities, of both the first and second kinds. Analysis of numerous discontinuous Galerkin sch...
220
click to vote
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
This paper reports on the Large Scale Hierarchical Classification workshop (http:// kmi.open.ac.uk/events/ecir2010/workshops-tutorials), held in conjunction with the European Conf...
181
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...