Sciweavers

7366 search results - page 1330 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
BMCBI
2007
97views more  BMCBI 2007»
15 years 6 months ago
In situ analysis of cross-hybridisation on microarrays and the inference of expression correlation
Background: Microarray co-expression signatures are an important tool for studying gene function and relations between genes. In addition to genuine biological co-expression, corr...
Tineke Casneuf, Yves Van de Peer, Wolfgang Huber
CONCUR
2006
Springer
15 years 10 months ago
Sanity Checks in Formal Verification
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
Orna Kupferman
CASCON
2010
174views Education» more  CASCON 2010»
15 years 4 months ago
Smart Services Across the Real and Virtual Worlds
Today, we are witnessing a new level of scale, complexity, and pervasiveness of software systems that are designed to support much more holistically complex processes. Much richer...
Eleni Stroulia
ATAL
2010
Springer
15 years 7 months ago
Preference elicitation for risky prospects
Minimax-regret preference elicitation allows intelligent decisions to be made on behalf of people facing risky choices. Standard gamble queries, a vital tool in this type of prefe...
Greg Hines, Kate Larson
ICSM
2008
IEEE
16 years 24 days ago
Query-based filtering and graphical view generation for clone analysis
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
Yali Zhang, Hamid Abdul Basit, Stan Jarzabek, Dang...
« Prev « First page 1330 / 1474 Last » Next »