WSC
2008
13 years 7 months ago
2008
This paper presents a new method to identify and rank the bottlenecks in a manufacturing system. The proposed method is based on performance related data that are easy to capture,...
NSDI
2008
13 years 7 months ago
2008
esn't display abstracts. Similar issues beset START (www.softconf.com), Linklings's RM 3.2 (www. linklings.com), and EasyChair (www.easychair.org). For instance, EasyChai...
NSDI
2008
13 years 7 months ago
2008
Within the computer-science community, submitted conference papers are typically evaluated by means of rating, in two respects: First, individual reviewers are asked to provide th...
EXACT
2008
13 years 7 months ago
2008
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
ICRA
1995
IEEE
13 years 8 months ago
1995
IEEE
This paper addresses the question “Can the object be pushed from here to there?” We characterize the set of objects that are controllable (can be positioned arbitrarily), with...
CSR
2006
Springer
13 years 8 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...
EH
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
CICLING
2006
Springer
13 years 8 months ago
2006
Springer
The work described in this paper was originally motivated by the
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasi
CC
2004
Springer
13 years 8 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...