Sciweavers

3233 search results - page 74 / 647
» Validation Method for Intelligent Systems
Sort
View
155
Voted
KR
1992
Springer
15 years 6 months ago
Intelligent Backtracking Techniques for Job Shop Scheduling
This paper studies a version of the job shop scheduling problem in which some operations have to be scheduled within non-relaxable time windows i.e. earliest latest possible start...
Yalin Xiong, Norman M. Sadeh, Katia P. Sycara
MCMASTER
1993
15 years 6 months ago
A Taste of Rewrite Systems
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
Nachum Dershowitz
103
Voted
ICRA
2007
IEEE
133views Robotics» more  ICRA 2007»
15 years 8 months ago
A visual bag of words method for interactive qualitative localization and mapping
— Localization for low cost humanoid or animal-like personal robots has to rely on cheap sensors and has to be robust to user manipulations of the robot. We present a visual loca...
David Filliat
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 7 months ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
129
Voted
ICC
2009
IEEE
130views Communications» more  ICC 2009»
15 years 7 days ago
User Profiling: A Method for Limited Feedback in OFDMA Systems
In the OFDMA downlink, obtaining Channel State Information (CSI) from users is necessary for the Base Station (BS) to optimize network performance by intelligently allocating resou...
Vinay R. Majjigi, Rajiv Agarwal, John M. Cioffi