Sciweavers

3891 search results - page 77 / 779
» Toward nature-inspired computing
Sort
View
ACSC
2005
IEEE
14 years 2 months ago
Real-time Monocular Tracking of View Frustum for Large Screen Human-Computer Interaction
This paper introduces a novel approach towards direct interaction with large display systems. Monocular computer vision is utilised to avoid restraints imposed by input devices. T...
Kelvin Cheng, Masahiro Takatsuka
TCS
2008
13 years 8 months ago
Sound and complete computational interpretation of symbolic hashes in the standard model
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
Flavio D. Garcia, Peter van Rossum
CEC
2008
IEEE
14 years 3 months ago
Methods for decreasing the number of objective evaluations for independent computationally expensive objective problems
— In this paper, three new methods for pushing solutions toward a desired region of the objective space more quickly are explored; hypercube distance scaling, dynamic objective t...
Greg Rohling
PPAM
2007
Springer
14 years 3 months ago
A Formal Model of Multi-agent Computations
Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...
Maciej Smolka
METAINFORMATICS
2004
Springer
14 years 2 months ago
Assessing the Impacts of Open Hypermedia Problems on Structural Computing
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
Nikos Karousos, Nikos Tsirakis