1112 search results - page 199 / 223 » Executing Abstract Test Cases |
130
click to vote
ECAIW
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
FEWS
2007
14 years 11 months ago
2007
Abstract. Research collaborations are always encouraged, as they often yield good results. However, the researcher network contains massive amounts of experts in various discipline...
DAIS
2003
14 years 11 months ago
2003
Abstract. By locally caching data, mobile hosts can operate while disconnected from the central server, however, consistency of data becomes more difficult to maintain. In this pap...
ISMB
1993
14 years 11 months ago
1993
Wedescribe various methods designed to discover knowledge in the GenBanknucleic acid sequence database. Using a grammatical model of gene structure, we create a parse tree of a ge...