Sciweavers

6874 search results - page 1288 / 1375
» The future of human-computer interaction
Sort
View
VR
2007
IEEE
16 years 2 days ago
Designing and Evaluating a Haptic System for Biomolecular Education
In this paper we present an in situ evaluation of a haptic system, with a representative test population, we aim to determine what, if any, benefit haptics can have in a biomolec...
Petter Bivall Persson, Matthew D. Cooper, Lena A. ...
GECCO
2007
Springer
171views Optimization» more  GECCO 2007»
15 years 12 months ago
Concept-based multi-objective problems and their solution by EC
Recent studies on the support of engineers during conceptual design resulted in a non-traditional type of Multi-Objective Problems (MOPs), namely concept-based ones. In concept-ba...
Amiram Moshaiov, Gideon Avigad
TABLEAUX
2007
Springer
15 years 12 months ago
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
Linda Buisman, Rajeev Goré
203
Voted
IEEESCC
2006
IEEE
15 years 12 months ago
Ontology Reconciliation for Service-Oriented Computing
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
Jingshan Huang, Jiangbo Dang, Michael N. Huhns
ESCIENCE
2005
IEEE
15 years 11 months ago
A Peer-to-Peer Extension of Network-Enabled Server Systems
DIET (Distributed Interactive Engineering Toolbox) is a set of hierarchical components to design Network Enabled Server (NES) systems. In these systems, clients ask to agents (dis...
Eddy Caron, Frederic Desprez, Cédric Tedesc...
« Prev « First page 1288 / 1375 Last » Next »