1496 search results - page 237 / 300 » Definability of Initial Segments |
173
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
160
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
142
click to vote
UIST
2009
ACM
15 years 12 months ago
2009
ACM
We explore the use of modern recommender system technology to address the problem of learning software applications. Before describing our new command recommender system, we first...
156
click to vote
ICPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Visual dictionaries are widely employed in object recognition to map unordered bags of local region descriptors into feature vectors for image classification. Most visual dictiona...
145
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...