Sciweavers

573 search results - page 62 / 115
» Diagnosis of Discrete-Event Systems Using Satisfiability Alg...
Sort
View
148
Voted
ALENEX
2008
180views Algorithms» more  ALENEX 2008»
15 years 5 months ago
Geometric Algorithms for Optimal Airspace Design and Air Traffic Controller Workload Balancing
The National Airspace System (NAS) is designed to accommodate a large number of flights over North America. For purposes of workload limitations for air traffic controllers, the a...
Amitabh Basu, Joseph S. B. Mitchell, Girishkumar S...
124
Voted
ICDCSW
2008
IEEE
15 years 10 months ago
Design and Implementation of a WSN-Based Intelligent Light Control System
—Recently, wireless sensor networks (WSNs) have been widely discussed in many applications. In this paper, we propose a WSN-based intelligent light control system for indoor envi...
Meng-Shiuan Pan, Lun-Wu Yeh, Yen-Ann Chen, Yu-Hsua...
128
Voted
WWW
2009
ACM
16 years 4 months ago
An axiomatic approach for result diversification
Understanding user intent is key to designing an effective ranking system in a search engine. In the absence of any explicit knowledge of user intent, search engines want to diver...
Sreenivas Gollapudi, Aneesh Sharma
88
Voted
ICIP
2002
IEEE
16 years 5 months ago
A publishing system based on fluency coding method
This paper proposes a new publishing system using PC and large-sized printer that can produce high quality printed matters comprising text, charts, and illustrations, etc. To cons...
Fumio Kawazoe, Kazuo Toraichi, Paul Wing Hing Kwan...
136
Voted
AAMAS
2008
Springer
15 years 3 months ago
DARE: a system for distributed abductive reasoning
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
Jiefei Ma, Alessandra Russo, Krysia Broda, Keith C...