Sciweavers

3804 search results - page 297 / 761
» interactions 2008
Sort
View
CADE
2008
Springer
16 years 7 months ago
Integration of the TPTPWorld into SigmaKEE
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...
Steven Trac, Geoff Sutcliffe, Adam Pease
148
Voted
HICSS
2008
IEEE
119views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Value Network Model for Strategic Analysis
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...
Alain Biem, Nathan Caswell
ICMCS
2008
IEEE
207views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Analyzing video concept detectors visually
In this demonstration we showcase an interactive analysis tool for researchers working on concept-based video retrieval. By visualizing intermediate concept detection analysis sta...
Cees G. M. Snoek, Richard van Balen, Dennis Koelma...
129
Voted
CIE
2008
Springer
15 years 8 months ago
Union of Reducibility Candidates for Orthogonal Constructor Rewriting
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...
Colin Riba
179
Voted
CIKM
2008
Springer
15 years 8 months ago
A SQL database system for solving constraints
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
Sebastien Siva, Lesi Wang