5630 search results - page 205 / 1126 » Computability in Specification |
125
click to vote
RECOMB
2002
Springer
16 years 5 months ago
2002
Springer
A current high-priority phase of human genomics involves the development of a full Haplotype Map of the human genome [23]. It will be used in large-scale screens of populations to...
139
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Writing irregular parallel algorithms with OpenMP has been rarely practised in the past. Yet it is possible, and in this paper we will use a simple breadth
136
click to vote
VLSID
2008
IEEE
16 years 5 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
163
click to vote
TOPLAS
2008
15 years 4 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
124
click to vote
MVA
2007
15 years 6 months ago
2007
The problem of planning the Next Best View (NBV) still poses many questions. However, the achieved methods and algorithms are hard to compare, since researchers use their own test...