1941 search results - page 130 / 389 » Reasoning about Computations Using Two-Levels of Logic |
111
click to vote
AAAI
2007
15 years 5 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
127
click to vote
CLIMA
2004
15 years 4 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
118
click to vote
JOLLI
2006
15 years 3 months ago
2006
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
135
Voted
IMC
2010
ACM
15 years 1 months ago
2010
ACM
Prior studies of Internet traffic have considered traffic at different resolutions and time scales: packets and flows for hours or days, aggregate packet statistics for days or we...
131
Voted
WILF
2005
Springer
15 years 8 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...