1224 search results - page 105 / 245 » Theory decision by decomposition |
100
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
100
Voted
WEBIST
2008
15 years 2 months ago
2008
Abstract. Designing and personalising systems for specific user groups encompasses a lot of effort with respect to analysing and understanding user behaviour. The goal of our paper...
97
Voted
CCE
2010
14 years 10 months ago
2010
This paper presents a systems analysis perspective that extends the traditional process design framework to green process design, green energy and industrial ecology leading to su...
123
click to vote
DOCENG
2006
ACM
15 years 6 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
98
Voted
DAGSTUHL
1996
15 years 2 months ago
1996
The areas of On-Line Algorithms and Machine Learning are both concerned with problems of making decisions about the present based only on knowledge of the past. Although these area...