3775 search results - page 579 / 755 » The Expression Problem Revisited |
134
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
145
click to vote
UIALL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
133
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents an ontological analysis of the EPC (Eventdriven Process Chain) business process modeling notation supported in the ARIS Toolset. This ontological analysis prov...
116
Voted
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
145
click to vote
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a novel non-parametric unsupervised segmentation algorithm based on Region Competition [21]; but implemented within a Level Sets framework [11]. The key novelty of the ...