2806 search results - page 199 / 562 » BML and Related Tools |
173
click to vote
DILS
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes a new method for the ontologically based standardization of concepts in the medical domain. As an application of this method we developed a data dictionary whi...
163
click to vote
VLDB
2004
ACM
16 years 5 days ago
2004
ACM
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
173
click to vote
CAV
2003
Springer
16 years 2 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
163
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
178
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We describe the software environment that has been developed for the management and support of planning missions in the SAR domain. We have chosen to develop a configurable environ...