1982 search results - page 217 / 397 » New Products |
180
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
159
click to vote
PERSUASIVE
2010
Springer
15 years 4 months ago
2010
Springer
We present a method for matching target behaviors with solutions for achieving those behaviors. Called the Behavior Wizard, this method first classifies behavior change targets int...
173
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Consideration sets provide a standard tool for the exploration of consumer choice. It is appropriate to analyze it as a fuzzy set because not all the brands of a certain category o...
165
click to vote
JMLR
2010
15 years 1 months ago
2010
We adopt the Relevance Vector Machine (RVM) framework to handle cases of tablestructured data such as image blocks and image descriptors. This is achieved by coupling the regulari...
198
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--This paper is concerned with the networked synchronization control problem of coupled dynamic networks (CDNs) with time-varying delay. First, both the data packet dropout...