Sciweavers

1547 search results - page 17 / 310
» The Isabelle Collections Framework
Sort
View
IJSNET
2010
103views more  IJSNET 2010»
13 years 6 months ago
Quality-aware sensor data collection
: Many sensor applications often require to collect raw sensed values from many sensor nodes to one centralized server. Sensor data collection typically comes with various quality ...
Qi Han, Doug Hakkarinen, Pruet Boonma, Junichi Suz...
ECAI
2010
Springer
13 years 8 months ago
Multi Grain Sentiment Analysis using Collective Classification
Abstract. Multi grain sentiment analysis is the task of simultaneously classifying sentiment expressed at different levels of granularity, as opposed to single level at a time. Mod...
S. Shivashankar, B. Ravindran
ESAW
2009
Springer
13 years 5 months ago
Thinking Integral: How to Build Complex Systems That Live with People and Exhibit Collective Intelligence
009), which constitutes an abstraction of the various aspects of a MAS, generalizing the AGR approach and incorporating the institutional work of Searle (Searle 1995). This model i...
Jacques Ferber
CORR
2011
Springer
185views Education» more  CORR 2011»
13 years 2 months ago
Large-Scale Collective Entity Matching
There have been several recent advancements in Machine Learning community on the Entity Matching (EM) problem. However, their lack of scalability has prevented them from being app...
Vibhor Rastogi, Nilesh N. Dalvi, Minos N. Garofala...
BIRTHDAY
2004
Springer
14 years 28 days ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer