Sciweavers

1218 search results - page 49 / 244
» The many facets of natural computing
Sort
View
IFIPTCS
2010
15 years 3 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay
ICCS
2001
Springer
15 years 10 months ago
Learning to Generate CGs from Domain Specific Sentences
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
Lei Zhang, Yong Yu
CVPR
2011
IEEE
14 years 9 months ago
Space-Time Super-Resolution from a Single Video
Spatial Super Resolution (SR) aims to recover fine image details, smaller than a pixel size. Temporal SR aims to recover rapid dynamic events that occur faster than the video fra...
Oded Shahar, Alon Faktor, Michal Irani
ECEASST
2010
15 years 3 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
SIGGRAPH
2010
ACM
15 years 10 months ago
Optimizing walking controllers for uncertain inputs and environments
We introduce methods for optimizing physics-based walking controllers for robustness to uncertainty. Many unknown factors, such as external forces, control torques, and user contr...
Jack M. Wang, David J. Fleet, Aaron Hertzmann