6794 search results - page 782 / 1359 » Semantics of Visual Languages |
208
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
223
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
185
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages, such as the Extensible Mark...
216
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
214
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...