4770 search results - page 640 / 954 » Flexible Type Analysis |
121
click to vote
LREC
2010
15 years 8 months ago
2010
A large effort has been devoted to the development of textual knowledge acquisition (KA) tools, but it is still difficult to assess the progress that has been made. The lack of we...
221
click to vote
DMIN
2008
15 years 8 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
187
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
172
click to vote
IC
2008
15 years 8 months ago
2008
Bandwidth in the Internet is constantly increasing. The last mile problem of the Internet has almost been solved. Multimedia has emerged as a dominant type of traffic on the Intern...
162
Voted
ICSOFT
2008
15 years 8 months ago
2008
Until now, the evaluation of product packaging has been performed subjectively since no other way existed. Previous research has also shown that people tend to prefer images with h...