Sciweavers

13734 search results - page 157 / 2747
» Abstractions of data types
Sort
View
AAAI
2012
13 years 6 months ago
Non-Intrusive Load Monitoring Using Prior Models of General Appliance Types
Non-intrusive appliance load monitoring is the process of disaggregating a household’s total electricity consumption into its contributing appliances. In this paper we propose a...
Oliver Parson, Siddhartha Ghosh, Mark Weal, Alex R...
259
Voted
POPL
2004
ACM
16 years 4 months ago
Polymorphic typed defunctionalization
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
François Pottier, Nadji Gauthier
PPDP
2007
Springer
15 years 10 months ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
ICDM
2006
IEEE
91views Data Mining» more  ICDM 2006»
15 years 10 months ago
Estimation System of People's Freindship and Hierarchical Relationship from Sentence Types
Many people cooperate for creating something new. It is important for the team’s perfomance to build a trusting relationship. It is necessary for building the trusting relations...
Yoko Nishihara, Wataru Sunayama, Masahiko Yachida
DASFAA
2010
IEEE
252views Database» more  DASFAA 2010»
15 years 8 months ago
Effectively Inferring the Search-for Node Type in XML Keyword Search
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...
Jiang Li, Junhu Wang