5550 search results - page 595 / 1110 » Different Approaches to Proof Systems |
195
click to vote
EIT
2009
IEEE
16 years 2 months ago
2009
IEEE
—System-level design (SLD) provides a solution to the challenge of increasing design complexity and time-to-market pressure in modern embedded system designs. In this paper, we p...
187
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Stigmergy is a mechanism that allows the coordination of actions within the same agent or across different agents by means of traces left in the environment. We propose...
197
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
191
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The class imbalance is a critical problem in classification tasks related to many real world applications. A large number of solutions were proposed in literature, both at the al...
193
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...