5451 search results - page 313 / 1091 » Typed Operational Semantics |
145
click to vote
SIGLEX
1991
15 years 8 months ago
1991
The paper focuses on the description of the approach, taken within the ESPRIT BRA project ACQUILEX, towards: i) acquisition of semantic information from several machine- readable ...
156
Voted
IIWAS
2007
15 years 6 months ago
2007
Electronic marketplaces can provide several types of business processes depending upon their target audience. A form of such processes is electronic auction. It is a system for ac...
130
click to vote
EUROPLOP
2006
15 years 6 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
150
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
We explore the application of a graph representation to model similarity relationships that exist among images found on the Web. The resulting similarity-induced graph allows us t...