Sciweavers

21490 search results - page 3917 / 4298
» Business Process Modeling
Sort
View
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 8 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
167
Voted
GIS
1995
ACM
15 years 8 months ago
Collaborative Spatial Decision Making with Qualitative Constraints
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
Nikos I. Karacapilidis, Dimitris Papadias, Max J. ...
ICCAD
1995
IEEE
180views Hardware» more  ICCAD 1995»
15 years 8 months ago
Design based analog testing by Characteristic Observation Inference
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
Walter M. Lindermeir, Helmut E. Graeb, Kurt Antrei...
ICRA
1995
IEEE
156views Robotics» more  ICRA 1995»
15 years 8 months ago
Assembly maintainability Study with Motion Planning
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
Hsuan Chang, Tsai-Yen Li
ISSS
1995
IEEE
87views Hardware» more  ISSS 1995»
15 years 8 months ago
Industrial experience using rule-driven retargetable code generation for multimedia applications
The increasing usage of Application Specific Instruction Set Processors (ASIPs) in audio and video telecommunications has made strong demands on the rapid availability of dedicat...
Clifford Liem, Pierre G. Paulin, Marco Cornero, Ah...
« Prev « First page 3917 / 4298 Last » Next »