Sciweavers

11797 search results - page 85 / 2360
» Recent Developments in the Experimental
Sort
View
CHI
2002
ACM
16 years 6 months ago
Physical programming: designing tools for children to create physical interactive environments
Physical interactive environments can come in many forms: museum installations, amusement parks, experimental theaters, and more. Programming these environments has historically b...
Jaime Montemayor, Allison Druin, Allison Farber, S...
ICASSP
2010
IEEE
15 years 6 months ago
From flat direct models to segmental CRF models
This paper summarizes recent work at Microsoft on the development of novel direct models. The key characteristic of our approaches is the use of long-span segment level features t...
Geoffrey Zweig, Patrick Nguyen
ENTCS
2008
85views more  ENTCS 2008»
15 years 6 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
TC
2008
15 years 6 months ago
eRAID: Conserving Energy in Conventional Disk-Based RAID System
Recently, high-energy consumption has become a serious concern for both storage servers and data centers. Recent research studies have utilized the short transition times of multis...
Jun Wang, Huijun Zhu, Dong Li
IJON
2002
219views more  IJON 2002»
15 years 5 months ago
NEURObjects: an object-oriented library for neural network development
NEURObjects is a set of C++ library classes for neural network development, exploiting the potentialities of object-oriented design and programming. The main goal of the library c...
Giorgio Valentini, Francesco Masulli