Sciweavers

10406 search results - page 267 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
WWW
2010
ACM
15 years 11 months ago
Exploring web scale language models for search query processing
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
Jian Huang 0002, Jianfeng Gao, Jiangbo Miao, Xiaol...
ICAISC
2004
Springer
15 years 9 months ago
Semi-mechanistic Models for State-Estimation - Soft Sensor for Polymer Melt Index Prediction
Nonlinear state estimation is a useful approach to the monitoring of industrial (polymerization) processes. This paper investigates how this approach can be followed to the develop...
Balazs Feil, János Abonyi, Peter Pach, Sand...
FMOODS
2008
15 years 5 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
IROS
2007
IEEE
154views Robotics» more  IROS 2007»
15 years 10 months ago
3, 000-fps 3-D shape measurement using a high-speed camera-projector system
— This paper proposes a high frame rate 3-D shape measurement system based on structured light projection using temporally-coded binary patterns. This system consists of a DMD (D...
Joji Takei, Shingo Kagami, Koichi Hashimoto
ESORICS
2010
Springer
15 years 5 months ago
Verifying Security Property of Peer-to-Peer Systems Using CSP
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
Tien Tuan Anh Dinh, Mark Ryan