2076 search results - page 316 / 416 » Functional logic overloading |
100
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
126
click to vote
FUZZIEEE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Many spatial phenomena exhibit vagueness. Representation of such phenomena requires vague objects. In previous work, we provided definitions for vague objects: vague p...
125
click to vote
COCOA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...