1664 search results - page 269 / 333 » Towards Partial Reasoning |
193
Voted
PPSWR
2005
Springer
16 years 6 days ago
2005
Springer
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
155
Voted
CARDIS
2004
Springer
16 years 4 days ago
2004
Springer
More and more services provided by Internet pose a problem of privacy and anonymity. One cryptographic tool that could be used for solving this problem is the group signature [1, 5...
164
click to vote
CSL
2004
Springer
16 years 4 days ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
160
click to vote
ICGI
2004
Springer
16 years 3 days ago
2004
Springer
State Merging algorithms, such as Rodney Price’s EDSM (Evidence-Driven State Merging) algorithm, have been reasonably successful at solving DFA-learning problems. EDSM, however, ...
188
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...