Sciweavers

7366 search results - page 1330 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
BMCBI
2007
97views more  BMCBI 2007»
15 years 4 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 8 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 2 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
164
Voted
ATAL
2010
Springer
15 years 5 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
121
Voted
ICSM
2008
IEEE
15 years 11 months 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 »