Sciweavers

2504 search results - page 442 / 501
» Methods for comparing rankings of search engine results
Sort
View
ER
2005
Springer
200views Database» more  ER 2005»
15 years 3 months ago
How to Tame a Very Large ER Diagram (Using Link Analysis and Force-Directed Drawing Algorithms)
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
Yannis Tzitzikas, Jean-Luc Hainaut
EDBTW
2010
Springer
15 years 1 months ago
Text-to-query: dynamically building structured analytics to illustrate textual content
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...
Raphaël Thollot, Falk Brauer, Wojciech M. Bar...
HYBRID
2010
Springer
14 years 11 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
CGO
2008
IEEE
15 years 4 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...
QOSA
2007
Springer
15 years 3 months ago
Factors Influencing Industrial Practices of Software Architecture Evaluation: An Empirical Investigation
To support software architecture evaluation practices, several efforts have been made to provide a basis for comparing and assessing evaluation methods, document various best pract...
Muhammad Ali Babar, Len Bass, Ian Gorton