1454 search results - page 244 / 291 » Stateful traits and their formalization |
108
Voted
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
149
click to vote
GISCIENCE
2010
Springer
15 years 1 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
90
Voted
AAMAS
2008
Springer
15 years 29 days ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
101
Voted
AI
2007
Springer
15 years 29 days ago
2007
Springer
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
CORR
2010
Springer
15 years 28 days ago
2010
Springer
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...