Sciweavers

3395 search results - page 558 / 679
» Designs, Disputes and Strategies
Sort
View
LISP
2006
160views more  LISP 2006»
13 years 9 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
IJAHUC
2007
111views more  IJAHUC 2007»
13 years 9 months ago
Configuring node status in a two-phase tightly integrated mode for wireless sensor networks
: In wireless sensor networks, one of the main design challenges is to save severely constrained energy resources and obtain a long system lifetime. Low cost of sensors enables us ...
Di Tian, Zhijun Lei, Nicolas D. Georganas
PRL
2006
78views more  PRL 2006»
13 years 9 months ago
The interaction between classification and reject performance for distance-based reject-option classifiers
Consider the class of problems in which a target class is well-defined, and an outlier class is ill-defined. In these cases new outlier classes can appear, or the class-conditiona...
Thomas Landgrebe, David M. J. Tax, Pavel Pacl&iacu...
SIGCSE
2008
ACM
93views Education» more  SIGCSE 2008»
13 years 9 months ago
Struggles of new college graduates in their first software development job
How do new college graduates experience their first software development jobs? In what ways are they prepared by their educational experiences, and in what ways do they struggle t...
Andrew Begel, Beth Simon
SIGIR
2008
ACM
13 years 9 months ago
Personalized active learning for collaborative filtering
Collaborative Filtering (CF) requires user-rated training examples for statistical inference about the preferences of new users. Active learning strategies identify the most infor...
Abhay Harpale, Yiming Yang