4460 search results - page 773 / 892 » Formal methods for interactive systems |
172
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Lately, there has been a great interest in the application of information extraction methods to the biomedical domain, in particular, to the extraction of relationship...
183
click to vote
JAIR
2008
15 years 6 months ago
2008
Artificial intelligence research is ushering in a new era of sophisticated, mass-market transportation technology. While computers can already fly a passenger jet better than a tr...
176
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This paper discusses generating document structure from annotated media repositories in a domain-independent manner. This approaches the vision of a universal RDF browser. We star...
199
click to vote
IPSN
2007
Springer
16 years 14 days ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
168
click to vote
APLAS
2006
ACM
16 years 9 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...