1280 search results - page 13 / 256 » Soft Typing with Conditional Types |
SCALESPACE
2009
Springer
14 years 2 months ago
2009
Springer
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...
COLING
2008
13 years 9 months ago
2008
Classifying what-type questions into proper semantic categories is found more challenging than classifying other types in question answering systems. In this paper, we propose to ...
JFP
2002
13 years 7 months ago
2002
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
WINET
2002
13 years 7 months ago
2002
In this paper, the arrival of calls (i.e., new and handoff calls) in a personal communications services (PCS) network is modeled by a Markov arrival process (MAP) in which we allow...
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
When designing a vibrotactile information display, it is important to present correct, stable stimulation. However, the mechanical stability of the vibration is affected by many c...