Sciweavers

2474 search results - page 235 / 495
» Kitchen of the Future and Applications
Sort
View
DBKDA
2010
IEEE
129views Database» more  DBKDA 2010»
15 years 4 months ago
Understanding Linked Open Data as a Web-Scale Database
While Linked Open Data (LOD) has gained much attention in the recent years, requirements and the challenges concerning its usage from a database perspective are lacking. We argue t...
Michael Hausenblas, Marcel Karnstedt
DATE
2010
IEEE
139views Hardware» more  DATE 2010»
15 years 3 months ago
A general mathematical model of probabilistic ripple-carry adders
Probabilistic CMOS is considered a promising technology for future generations of computing devices. By embracing possibly incorrect calculations, the technology makes it possible ...
Mark S. K. Lau, Keck Voon Ling, Yun-Chung Chu, Aru...
NFM
2011
264views Formal Methods» more  NFM 2011»
15 years 1 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
WWW
2011
ACM
15 years 1 months ago
A politeness recognition tool for Hindi: with special emphasis on online texts
This paper gives an overview of a politeness recognition tool (PoRT) for Hindi that is currently under preparation. It describes the the kind of problems that need to be tackled w...
Ritesh Kumar
IJON
2010
159views more  IJON 2010»
15 years 1 months ago
Model predictive flight control using adaptive support vector regression
This paper explores an application of support vector regression (SVR) to model predictive control (MPC). SVR is employed to identify a dynamic system from input-output data, and t...
Jongho Shin, H. Jin Kim, Sewook Park, Youdan Kim