Sciweavers

3844 search results - page 290 / 769
» Modular interpreted systems
Sort
View
LPAR
2000
Springer
15 years 8 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye
VR
2000
IEEE
114views Virtual Reality» more  VR 2000»
15 years 8 months ago
Virtual Fekete Point Configurations: A Case Study in Perturbing Complex Systems
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...
Robert van Liere, Jurriaan D. Mulder, Jason Frank,...
AIA
2006
15 years 5 months ago
A Static Images Based-System for Traffic Signs Detection
The localization and interpretation of traffic signs by means of a wise-artificial system is one of the several applications of the recognizing-image techniques. In this work we p...
Valentin Moreno, Agapito Ledezma, Araceli Sanch&ia...
ECIS
2003
15 years 5 months ago
Towards a stakeholder analysis of information systems development project abandonment
This study adopts a stakeholder analysis to examine stakeholders’ roles and contributions in influencing organizational decisions to abandon information systems (IS) development...
Gary S. C. Pan, Donal J. Flynn
ECIS
2000
15 years 5 months ago
Authentic Intervention in Information Systems Practice
In this paper the philosophical concept of authenticity is used as a framing device for providing an interpretation of aspects of both ethical and practical action on the part of i...
Robert A. Stephens, Stephen K. Probert