Sciweavers

2679 search results - page 384 / 536
» Experimental Models for Validating Technology
Sort
View
DASFAA
2010
IEEE
191views Database» more  DASFAA 2010»
15 years 4 months ago
Answering Top-k Similar Region Queries
Abstract. Advances in web technology have given rise to new information retrieval applications. In this paper, we present a model for geographical region search and call this class...
Chang Sheng, Yu Zheng, Wynne Hsu, Mong-Li Lee, Xin...
JCP
2008
104views more  JCP 2008»
15 years 4 months ago
Trusted Decision Mechanism Based on Fuzzy Logic for Open Network
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
Lin Zhang, Ruchuan Wang, Haiyan Wang
FMSD
2002
128views more  FMSD 2002»
15 years 3 months ago
Combining Software and Hardware Verification Techniques
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
Robert P. Kurshan, Vladimir Levin, Marius Minea, D...
SOFTCOMP
2010
15 years 2 months ago
Evaluating the Low Quality Measurements in Lighting Control Systems
In real world processes in the industry or in business, where the elements involved generate data full of noise and biases, improving the energy efficiency represents one of the ma...
José Ramón Villar, Enrique A. de la ...
HCI
2009
15 years 1 months ago
Critical Interaction Analysis in the Flight Deck
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
Chiara Santamaria Maurizio, Patrizia Marti, Simone...