12774 search results - page 388 / 2555 » A Framework for Proof Systems |
187
click to vote
SIMPAR
2010
15 years 6 months ago
2010
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
188
click to vote
IJAR
2011
15 years 2 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
220
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
222
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
The main goal of this paper is to develop deeper insights into viable placement-level optimization of routing. Two primary contributions are made. First, an experimental framework...
180
click to vote
CIKM
2009
Springer
16 years 2 months ago
2009
Springer
Clustering ensembles combine different clustering solutions into a single robust and stable one. Most of existing methods become highly time-consuming when the data size turns to ...