1585 search results - page 87 / 317 » A framework for computer-aided validation |
130
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
156
click to vote
JUCS
2011
14 years 6 months ago
2011
: Visualization of search results is an essential step in the textual Information Retrieval (IR) process. Indeed, Information Retrieval Interfaces (IRIs) are used as a link between...
126
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
118
click to vote
AAAI
2008
15 years 5 months ago
2008
Complex graphs, in which multi-type nodes are linked to each other, frequently arise in many important applications, such as Web mining, information retrieval, bioinformatics, and...
128
click to vote
MKWI
2008
15 years 4 months ago
2008
: This paper examines possibilities and consequences of introducing variability with respect to pricing, accounting, and way of payment into software product lines for developers, ...