1689 search results - page 229 / 338 » Refining abstract interpretations |
179
click to vote
CSL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
192
click to vote
EMMCVPR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Synthetic aperture radar SAR images are notoriously di cult to interpret. Segmentation is simpli ed if a digital map is available, to which the image can be registered....
185
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
Understanding and interpreting a large data source is an important but challenging operation in many technical disciplines. Computer visualization has become a valuable tool to he...
176
click to vote
ISMIS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
176
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...