171 search results - page 5 / 35 » Semantic Reasoning: A Path to New Possibilities of Personali... |
185
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
164
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
164
click to vote
ISSTA
2009
ACM
16 years 16 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
138
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
171
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
In order to be adopted within corporate environments, Semantic Web applications must provide tangible short-/medium-term gains. Although corporate Semantic Web offers enterprises n...