1941 search results - page 245 / 389 » Reasoning about Computations Using Two-Levels of Logic |
141
click to vote
CIDR
2009
15 years 4 months ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
142
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
119
click to vote
TIME
2003
IEEE
15 years 9 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
144
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
134
click to vote
DLOG
2009
15 years 1 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...