1088 search results - page 113 / 218 » Independence of Negative Constraints |
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
CADE
2004
Springer
15 years 3 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
119
click to vote
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...
JMLR
2008
14 years 10 months ago
2008
We describe and analyze an algorithmic framework for online classification where each online trial consists of multiple prediction tasks that are tied together. We tackle the prob...