17018 search results - page 3066 / 3404 » From the How to the What |
189
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
232
click to vote
CSB
2003
IEEE
16 years 1 days ago
2003
IEEE
Recognition of a protein’s fold provides valuable information about its function. While many sequence-based homology prediction methods exist, an important challenge remains: tw...
180
click to vote
DISCEX
2003
IEEE
16 years 1 days ago
2003
IEEE
We introduce a technique for detecting anomalous patterns in a categorical feature (one that takes values from a finite alphabet). It differs from most anomaly detection methods u...
177
click to vote
EUROMICRO
2003
IEEE
16 years 1 days ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
221
click to vote
FOCS
2003
IEEE
16 years 1 days ago
2003
IEEE
A directed multigraph is said to be d-regular if the indegree and outdegree of every vertex is exactly d. By Hall’s theorem one can represent such a multigraph as a combination ...