1737 search results - page 268 / 348 » On Interpolation in Existence Logics |
146
click to vote
ICDIM
2008
IEEE
16 years 19 days ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...
152
click to vote
ICTAI
2008
IEEE
16 years 18 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
154
click to vote
QEST
2008
IEEE
16 years 17 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
172
click to vote
SYNASC
2008
IEEE
16 years 17 days ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
166
click to vote
TIME
2008
IEEE
16 years 17 days ago
2008
IEEE
Frequent behavioural pattern mining is a very important topic of knowledge discovery, intended to extract correlations between items recorded in large databases or Web acces logs....