Sciweavers

15375 search results - page 167 / 3075
» cans 2008
Sort
View
TREC
2004
13 years 9 months ago
Overview of the TREC 2004 Terabyte Track
The Terabyte Track explores how adhoc retrieval and evaluation techniques can scale to terabyte-sized collections. For TREC 2004, our first year, 50 new adhoc topics were created ...
Charles L. A. Clarke, Nick Craswell, Ian Soboroff
UAI
2004
13 years 9 months ago
Computing Best-Response Strategies in Infinite Games of Incomplete Information
We describe an algorithm for computing bestresponse strategies in a class of two-player infinite games of incomplete information, defined by payoffs piecewise linear in agents...
Daniel M. Reeves, Michael P. Wellman
WICSA
2001
13 years 9 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
WICSA
2004
13 years 9 months ago
Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
Hassan Gomaa, Mohamed Hussein
AIML
1998
13 years 9 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...