2706 search results - page 214 / 542 » The case for a new business model |
192
click to vote
IEICET
2008
15 years 6 months ago
2008
In this paper, we introduce new compression function design principles supporting variable output lengths (multiples of size n). They are based on a function or block cipher with a...
163
click to vote
EXACT
2007
15 years 9 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
167
click to vote
JCST
2006
15 years 6 months ago
2006
:- A novel constraint-based fuzzy modeling approach is proposed. Features of the proposed model are enumerated as below. 1)The knowledge base of a constraint-based fuzzy model can ...
135
click to vote
UAI
2004
15 years 8 months ago
2004
We formulate and prove an axiomatic characterization of conditional information geometry, for both the normalized and the nonnormalized cases. This characterization extends the ax...
199
click to vote
JUCS
2000
15 years 6 months ago
2000
: E-LOTOS, a new version of the ISO standard specification language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover...