Sciweavers

745 search results - page 65 / 149
» A General Framework for Cobot Control
Sort
View
AAAI
2011
14 years 4 months ago
Coarse-to-Fine Inference and Learning for First-Order Probabilistic Models
Coarse-to-fine approaches use sequences of increasingly fine approximations to control the complexity of inference and learning. These techniques are often used in NLP and visio...
Chloe Kiddon, Pedro Domingos
ACCV
2010
Springer
14 years 11 months ago
A Weak Structure Model for Regular Pattern Recognition Applied to Facade Images
Abstract. We propose a novel method for recognition of structured images and demonstrate it on detection of windows in facade images. Given an ability to obtain local low-level dat...
Radim Tylecek, Radim Sára
ENTCS
2011
129views more  ENTCS 2011»
14 years 11 months ago
Specifying Proof Systems in Linear Logic with Subexponentials
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
Vivek Nigam, Elaine Pimentel, Giselle Reis
126
Voted
MMAS
2010
Springer
14 years 11 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
15 years 9 months ago
Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
Maaret Pyhäjärvi, Kristian Rautiainen, J...