64 search results - page 12 / 13 » Reduction in a Linear Lambda-Calculus with Applications to O... |
TLCA
2009
Springer
14 years 27 days ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
AI
2010
Springer
13 years 6 months ago
2010
Springer
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
WECWIS
2003
IEEE
13 years 11 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...
CAISE
2006
Springer
13 years 10 months ago
2006
Springer
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
ICCAD
2009
IEEE
13 years 4 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...