3804 search results - page 297 / 761 » interactions 2008 |
155
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
148
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
183
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this demonstration we showcase an interactive analysis tool for researchers working on concept-based video retrieval. By visualizing intermediate concept detection analysis sta...
129
Voted
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We revisit Girard's reducibility candidates by proposing a general of the notion of neutral terms. They are the terms which do not interact with some contexts called eliminati...
179
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...