3028 search results - page 226 / 606 » Integrating Temporal Logics |
236
click to vote
AIIA
2005
Springer
16 years 24 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
214
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
200
click to vote
FPL
2000
Springer
15 years 11 months ago
2000
Springer
As integration levels in FPGA devices have increased over the past decade, the structure of programmable logic resources has become more diversified. Recently, Altera Corporation h...
206
click to vote
ISMB
1994
15 years 8 months ago
1994
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...
238
click to vote
IWUC
2004
15 years 8 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...