Sciweavers

4123 search results - page 106 / 825
» Multiple Relational Embedding
Sort
View
HASKELL
2007
ACM
15 years 8 months ago
A functional-logic library for wired
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
Matthew Naylor, Emil Axelsson, Colin Runciman
COLING
1990
15 years 5 months ago
Language Without A Central Pushdown Stack
We will attempt to show how human performance limitations on various types of syntactic embedding constructions in Germanic languages can be modelled in a relational network lingu...
Carson T. Schütze, Peter A. Reich
FSS
2010
119views more  FSS 2010»
15 years 3 months ago
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
Extensions of monoidal t-norm logic MTL and related fuzzy logics with truth stresser modalities such as globalization and “very true” are presented here both algebraically in ...
Agata Ciabattoni, George Metcalfe, Franco Montagna
244
Voted
ECAI
2000
Springer
15 years 9 months ago
An Embedding of ConGolog in 3APL
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
Koen V. Hindriks, Yves Lespérance, Hector J...
CHES
2003
Springer
119views Cryptology» more  CHES 2003»
15 years 9 months ago
Faster Double-Size Modular Multiplication from Euclidean Multipliers
Abstract. A novel technique for computing a 2n-bit modular multiplication using n-bit arithmetic was introduced at CHES 2002 by Fischer and Seifert. Their technique makes use of an...
Benoît Chevallier-Mames, Marc Joye, Pascal P...