4737 search results - page 598 / 948 » The LOGIC negotiation model |
179
click to vote
VTS
1997
IEEE
15 years 11 months ago
1997
IEEE
A stress procedure for reliability screening, SHOrt Voltage Elevation (SHOVE) test, is analyzed here. During SHOVE, test vectors are run at higher-than-normal supply voltage for a...
226
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
216
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
192
click to vote
TPPP
1994
15 years 11 months ago
1994
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
247
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...