585 search results - page 63 / 117 » Structured Formal Development in Isabelle |
111
Voted
IJCAI
2003
15 years 2 months ago
2003
Information extraction from HTML pages has been conventionally treated as plain text documents extended with HTML tags. However, the growing maturity and correct usage of HTML/XHT...
126
click to vote
CMOT
2000
15 years 1 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
73
Voted
IANDC
2010
15 years 3 days ago
2010
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
131
click to vote
IGARSS
2010
14 years 10 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
128
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...