726 search results - page 122 / 146 » Recent advances in computational models of natural argument |
DBPL
1993
Springer
14 years 18 days ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
We present applications of a recently developed automated nonlinear macromodelling approach to the important problem of macromodelling high-speed output buffers/drivers. Good nonl...
ICALP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract Randomized rumor spreading is an efficient protocol to distribute information in networks. Recently, a quasirandom version has been proposed and proven to work equally we...
HUC
2004
Springer
14 years 1 months ago
2004
Springer
As the trend towards technology-enriched home environments progresses, the need to enable users to create applications to suit their own lives increases. While several recent proje...
DBPL
2007
Springer
14 years 12 days ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...