Sciweavers

917 search results - page 39 / 184
» Application reviews
Sort
View
INEX
2009
Springer
15 years 9 months ago
Overview of the INEX 2009 Interactive Track
In the paper we present the organization of the INEX 2009 interactive track. For the 2009 experiments the iTrack has gathered data on user search behavior in a collection consistin...
Nils Pharo, Ragnar Nordlie, Norbert Fuhr, Thomas B...
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 8 months ago
Problems of computing Lyapunov exponents in power electronics
Ideal power converters are governed by differential equations with discontinuous right-hand sides. General-purpose algorithms to compute their Lyapunov exponents assume smooth equ...
Y. H. Lim, D. C. Hamill
DAM
2007
67views more  DAM 2007»
15 years 4 months ago
The state of SAT
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
Henry A. Kautz, Bart Selman
BIRTHDAY
2005
Springer
15 years 10 months ago
Graph Transformation in Molecular Biology
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
Francesc Rosselló, Gabriel Valiente
ECIS
2003
15 years 5 months ago
An architecture model for supporting application integration decisions
For a successful information systems architecture management, reference models and decision rules must be provided. In this paper, an architecture model and design rules are propo...
Robert Winter