Sciweavers

2525 search results - page 301 / 505
» A Framework for Semantic Gossiping
Sort
View
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 10 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
IJDST
2011
117views more  IJDST 2011»
14 years 9 months ago
Integrating Production Automation Expert Knowledge Across Engineering Domains
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...
ICIP
2003
IEEE
16 years 7 months ago
Annotating retrieval database with active learning
In this paper, we describe a retrieval system that uses hidden annotation to improve the performance. The contribution of this paper is a novel active learning framework that can ...
Cha Zhang, Tsuhan Chen
IROS
2009
IEEE
154views Robotics» more  IROS 2009»
16 years 26 days ago
Real-time perception-guided motion planning for a personal robot
— This paper presents significant steps towards the online integration of 3D perception and manipulation for personal robotics applications. We propose a modular and distributed...
Radu Bogdan Rusu, Ioan Alexandru Sucan, Brian P. G...
FASE
2010
Springer
16 years 21 days ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller