Sciweavers

2214 search results - page 215 / 443
» Complexity of Reasoning
Sort
View
ICML
2005
IEEE
16 years 4 months ago
Weighted decomposition kernels
We introduce a family of kernels on discrete data structures within the general class of decomposition kernels. A weighted decomposition kernel (WDK) is computed by dividing objec...
Sauro Menchetti, Fabrizio Costa, Paolo Frasconi
ICML
2001
IEEE
16 years 4 months ago
Using EM to Learn 3D Models of Indoor Environments with Mobile Robots
This paper describes an algorithm for generating compact 3D models of indoor environments with mobile robots. Our algorithm employs the expectation maximization algorithm to fit a...
Yufeng Liu, Rosemary Emery, Deepayan Chakrabarti, ...
ICLP
2009
Springer
16 years 4 months ago
Metabolic Network Expansion with Answer Set Programming
Abstract. We propose a qualitative approach to elaborating the biosynthetic capacities of metabolic networks. In fact, large-scale metabolic networks as well as measured datasets s...
Torsten Schaub, Sven Thiele
107
Voted
VLSID
2004
IEEE
108views VLSI» more  VLSID 2004»
16 years 4 months ago
Boolean Decomposition Using Two-literal Divisors
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
Nilesh Modi, Jordi Cortadella
130
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Improving UML Support for User Interface Design: A Metric Assessment of UMLi
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
Paulo Pinheiro da Silva, Norman W. Paton