1419 search results - page 183 / 284 » Notes on Formalizing Context |
ASM
2008
ASM
15 years 2 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
125
click to vote
AUSDM
2008
Springer
15 years 2 months ago
2008
Springer
Growing up is in large measure learning about the world and our social and linguistic environment. We might call this data mining, although it is far more multimodal and immersive...
112
Voted
DOCENG
2005
ACM
15 years 2 months ago
2005
ACM
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
DAWAK
2008
Springer
15 years 2 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...