2067 search results - page 248 / 414 » Logics of propositional control |
171
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
171
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
Running in a highly uncertain and changing environment, Web systems cannot always provide full set of services with optimal quality, especially when the workload is high or failur...
188
click to vote
PAMI
2010
15 years 1 months ago
2010
We present a new approach for building reconstruction from a single Digital Surface Model (DSM). It treats buildings as an assemblage of simple urban structures extracted from a li...
221
click to vote
AAAI
2011
14 years 6 months ago
2011
Coarse-to-fine approaches use sequences of increasingly fine approximations to control the complexity of inference and learning. These techniques are often used in NLP and visio...
174
click to vote
APLAS
2006
ACM
16 years 15 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...