Sciweavers

778 search results - page 30 / 156
» Improved universal denominators
Sort
View
70
Voted
WSC
1998
14 years 11 months ago
Simulation Based Construction Management Learning System
Incorporation into construction engineering and management curricula of tasks that improve the abilities of students to manage the complex dynamics, pressures, and demands of cons...
Anil Sawhney, André Mund
SAT
2011
Springer
263views Hardware» more  SAT 2011»
14 years 15 days ago
Failed Literal Detection for QBF
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
Florian Lonsing, Armin Biere
75
Voted
GBRPR
2009
Springer
15 years 4 months ago
A Graph Based Data Model for Graphics Interpretation
A universal data model, named DG, is introduced to handle vectorized data uniformly during the whole recognition process. The model supports low level graph algorithms as well as h...
Endre Katona
84
Voted
TREC
2008
14 years 11 months ago
DCU at the TREC 2008 Blog Track
In this paper we describe our system, experiments and results from our participation in the Blog Track at TREC 2008. Dublin City University participated in the adhoc retrieval, op...
Adam Bermingham, Alan F. Smeaton, Jennifer Foster,...
ICSM
1999
IEEE
15 years 2 months ago
A Two-Phase Process for Software Architecture Improvement
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
René L. Krikhaar, André Postma, M. P...