Sciweavers

18429 search results - page 175 / 3686
» Typing dynamic typing
Sort
View
CIE
2008
Springer
15 years 7 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
ACL
2008
15 years 6 months ago
Semantic Types of Some Generic Relation Arguments: Detection and Evaluation
This paper presents an approach to detection of the semantic types of relation arguments employing the WordNet hierarchy. Using the SemEval-2007 data, we show that the method allo...
Sophia Katrenko, Pieter W. Adriaans
APCCM
2006
15 years 6 months ago
Defining and implementing domains with multiple types using mesodata modelling techniques
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
Sally Rice, John F. Roddick, Denise de Vries
IASTEDSE
2004
15 years 6 months ago
Types of quality of service contracts for component-based systems
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising res...
Steffen Zschaler, Simone Röttger
ANLP
2000
77views more  ANLP 2000»
15 years 6 months ago
Unit Completion for a Computer-aided Translation Typing System
This work is in the context of TransType, a system that observes its user as he or she types a translation and repeatedly suggests completions for the text already entered. The us...
Philippe Langlais, George F. Foster, Guy Lapalme