Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
5,638
Computational Lambda-Calculus and Monads
, 1988
"... The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one goes further and uses fij-conversion to prove equivalence of programs, then a gross simplification is introduced, that may jeopardise the ap ..."
Abstract
-
Cited by 501 (6 self)
- Add to MetaCart
The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one goes further and uses fij-conversion to prove equivalence of programs, then a gross simplification is introduced, that may jeopardise
Notions of Computation and Monads
, 1991
"... The i.-calculus is considered a useful mathematical tool in the study of programming languages, since programs can be identified with I-terms. However, if one goes further and uses bn-conversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified with ..."
Abstract
-
Cited by 867 (15 self)
- Add to MetaCart
The i.-calculus is considered a useful mathematical tool in the study of programming languages, since programs can be identified with I-terms. However, if one goes further and uses bn-conversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified
Trace Scheduling: A Technique for Global Microcode Compaction
- IEEE TRANSACTIONS ON COMPUTERS
, 1981
"... Microcode compaction is the conversion of sequential microcode into efficient parallel (horizontal) microcode. Local com-paction techniques are those whose domain is basic blocks of code, while global methods attack code with a general flow control. Compilation of high-level microcode languages int ..."
Abstract
-
Cited by 683 (5 self)
- Add to MetaCart
Microcode compaction is the conversion of sequential microcode into efficient parallel (horizontal) microcode. Local com-paction techniques are those whose domain is basic blocks of code, while global methods attack code with a general flow control. Compilation of high-level microcode languages
A Query Language for XML
, 1998
"... An important application of XML is the interchange of electronic data (EDI) between multiple data sources on the Web. As XML data proliferates on the Web, applications will need to integrate and aggregate data from multiple source and clean and transform data to facilitate exchange. Data extraction, ..."
Abstract
-
Cited by 340 (22 self)
- Add to MetaCart
, conversion, transformation, and integration are all well-understood database problems, and their solutions rely on a query language. We present a query language for XML, called XML-QL, which we argue is suitable for performing the above tasks. XML-QL is a declarative, "relational complete" query
The Utility of Filled Pauses, Interjections, and Parentheticals in Parsing Conversational Language
, 2001
"... It has been hypothesized [5,7] that the information contained by the placement and content of filled pauses, interjections, and parentheticals is useful in the parsing of conversational language. To investigate the impact of the inclusion of such information on the performance of a parser, we have b ..."
Abstract
- Add to MetaCart
It has been hypothesized [5,7] that the information contained by the placement and content of filled pauses, interjections, and parentheticals is useful in the parsing of conversational language. To investigate the impact of the inclusion of such information on the performance of a parser, we have
Computational Interpretations of the Gricean Maxims in the Generation of Referring Expressions
- COGNITIVE SCIENCE
, 1995
"... We examine the problem of generating definite noun phrases that are appropriate referring expressions: that is, noun phrases that (a) successfully identify the intended referent to the hearer whilst (b) not conveying to him or her any false conversational implicatures (Grice, 1975). We review severa ..."
Abstract
-
Cited by 368 (36 self)
- Add to MetaCart
We examine the problem of generating definite noun phrases that are appropriate referring expressions: that is, noun phrases that (a) successfully identify the intended referent to the hearer whilst (b) not conveying to him or her any false conversational implicatures (Grice, 1975). We review
Your Mediators Need Data Conversion!
, 1998
"... Due to the development of the World Wide Web, the integration of heterogeneous data sources has become a major concern of the database community. Appropriate architectures and query languages have been proposed. Yet, the problem of data conversion which is essential for the development of mediators/ ..."
Abstract
-
Cited by 213 (14 self)
- Add to MetaCart
Due to the development of the World Wide Web, the integration of heterogeneous data sources has become a major concern of the database community. Appropriate architectures and query languages have been proposed. Yet, the problem of data conversion which is essential for the development of mediators
Towards a Conversational Language for Artificial Agents in Mixed Community
- In: FOURTH INTERNATIONAL CENTRAL AND EASTERN EUROPEAN CONFERENCE ON MULTI-AGENT SYSTEMS CEEMAS’05, 2005. Proceedings
"... Abstract. Present agent and interaction (agent communication language: ACL) models have been conceived for pure artificial agent communities, most often strongly linked with knowledge exchange. But these models are not adapted to conversational interactions, and particularly to mixed community melti ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
Abstract. Present agent and interaction (agent communication language: ACL) models have been conceived for pure artificial agent communities, most often strongly linked with knowledge exchange. But these models are not adapted to conversational interactions, and particularly to mixed community
Quantitative Classification of Conversational Language Using Artificial Neural Networks
- APHASIOLOGY
, 1997
"... In this paper I shall describe the use of artificial neural networks for the classification of subjects based on their conversational speech using a set of linguistic measures with particular reference to the application of this approach in classifying dysphasic patients. These linguistic measures c ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
In this paper I shall describe the use of artificial neural networks for the classification of subjects based on their conversational speech using a set of linguistic measures with particular reference to the application of this approach in classifying dysphasic patients. These linguistic measures
Discourse style and situation viewpoint for a conversational language tutor
- Proceedings of the International Conference on Computer-Assisted Learning
, 1992
"... opposed to carryin&: out conscious mental translation or computation 01 grallllllatil:al fonnulas. To this end, we get the computer to provide some of the imlll\.:fSioll adlvlt!l!'; that successful language tutors often use, involving familiar physical objects used to ael oUI ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
opposed to carryin&: out conscious mental translation or computation 01 grallllllatil:al fonnulas. To this end, we get the computer to provide some of the imlll\.:fSioll adlvlt!l!'; that successful language tutors often use, involving familiar physical objects used to ael oUI
Results 1 - 10
of
5,638
