163 search results - page 23 / 33 » Type Systems for Useless-Variable Elimination |
CEC
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract-- In this paper we investigate the effects of individual learning on an evolving population of situated agents. We work with a novel type of system where agents can decide...
AMR
2005
Springer
14 years 8 days ago
2005
Springer
Abstract. In this paper we study interfaces for image retrieval systems. Current image retrieval interfaces are limited to providing query facilities and result presentation. The u...
CIS
2005
Springer
14 years 8 days ago
2005
Springer
A new approach for protection of transmission line including TCSC is presented in this paper. The proposed method includes application of Fuzzy Neural Network for distance relaying...
ISMAR
2003
IEEE
14 years 28 min ago
2003
IEEE
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
CONCUR
1991
Springer
13 years 10 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...