Sciweavers

1124 search results - page 74 / 225
» Refined quorum systems
Sort
View
IJFCS
2006
94views more  IJFCS 2006»
15 years 6 months ago
Conflicts and Fair Testing
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
Robi Malik, David Streader, Steve Reeves
AIS
2000
Springer
15 years 6 months ago
A comparison between Maya hieroglyphs and computer icons
Interface design normally follows the traditional approach of Art and Design, which requires reworking to refine an idea through visual playfulness until a solution has been achiev...
Paul Honeywill
BMCBI
2010
160views more  BMCBI 2010»
15 years 1 months ago
eHive: An Artificial Intelligence workflow system for genomic analysis
Background: The Ensembl project produces updates to its comparative genomics resources with each of its several releases per year. During each release cycle approximately two week...
Jessica Severin, Kathryn Beal, Albert J. Vilella, ...
COMPUTER
2010
127views more  COMPUTER 2010»
15 years 3 months ago
Data Stream Management Systems for Computational Finance
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...
Badrish Chandramouli, Mohamed H. Ali, Jonathan Gol...
DAGM
2009
Springer
15 years 4 months ago
Shadow Detection in Dynamic Scenes Using Dense Stereo Information and an Outdoor Illumination Model
Abstract. We present a system for detecting shadows in dynamic outdoor scenes. The technique is based on fusing background subtraction operations performed on both color and dispar...
Claus B. Madsen, Thomas B. Moeslund, Amit Pal, Sha...