7943 search results - page 1286 / 1589 » A calculus for costed computations |
176
click to vote
ASAP
2010
IEEE
15 years 8 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
196
click to vote
BIOCOMP
2007
15 years 8 months ago
2007
Low-Complexity Regions (LCRs) of biological sequences are the main source of false positives in similarity searches for biological sequence databases. We consider the problem of ï...
173
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
It is well known that local patterns are at the core of a lot of knowledge which may be discovered from data. Nevertheless, use of local patterns is limited by their huge number an...
124
Voted
DAGSTUHL
2007
15 years 8 months ago
2007
The Dagstuhl Seminar Similarity-based Clustering and its Application to Medicine and Biology (07131) held in March 25–30, 2007, provided an excellent atmosphere for in-depth disc...
176
click to vote
DGO
2007
15 years 8 months ago
2007
The Center for Technology in Government (CTG) in collaboration with SAP, the business software solutions provider to public sector organizations, conducted a research project focu...