2076 search results - page 249 / 416 » Functional logic overloading |
190
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
173
click to vote
FCCM
2008
IEEE
16 years 26 days ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
172
click to vote
SEMCO
2007
IEEE
16 years 21 days ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
167
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
Several description frameworks to semantically describe and match services on the one hand and service requests on the other have been presented in the literature. Many of the curr...
174
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...