585 search results - page 92 / 117 » Structured Formal Development in Isabelle |
107
click to vote
RECOMB
2003
Springer
16 years 2 days ago
2003
Springer
The availability of whole genome sequences and high-throughput genomic assays opens the door for in silico analysis of transcription regulation. This includes methods for discover...
106
click to vote
IPSN
2009
Springer
15 years 6 months ago
2009
Springer
In this work we present new in-network techniques for communication efficient approximate query processing in wireless sensornets. We use a model-based approach that constructs a...
100
click to vote
RWEB
2009
Springer
15 years 6 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
101
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
FOAL
2009
ACM
15 years 6 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...