Sciweavers

3059 search results - page 88 / 612
» with Wide Functional Units
Sort
View
AFP
1995
Springer
126views Formal Methods» more  AFP 1995»
14 years 1 months ago
Functional Programming with Overloading and Higher-Order Polymorphism
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
Mark P. Jones
WEBNET
2000
13 years 11 months ago
MPML: A Multimodal Presentation Markup Language with Character Agent Control Functions
: As a new style of effective information presentations and a new multimodal information content production on the World Wide Web (WWW), multimodal presentation using interactive l...
Takayuki Tsutsui, Santi Saeyor, Mitsuru Ishizuka
JUCS
2006
104views more  JUCS 2006»
13 years 10 months ago
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
Jaime Sánchez-Hernández
ICPR
2006
IEEE
14 years 11 months ago
Measurement Function Design for Visual Tracking Applications
Extracting human postural information from video sequences has proved a difficult research question. The most successful approaches to date have been based on particle filtering, ...
Andrew W. B. Smith, Brian C. Lovell
SAC
2010
ACM
14 years 5 months ago
Software transactional memory for implicitly parallel functional language
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
Petr Krajca, Vilém Vychodil