Sciweavers

969 search results - page 148 / 194
» Integrating part and assembly modelling
Sort
View
ICRE
1996
IEEE
14 years 27 days ago
A facilitator method for upstream design activities with diverse stakeholders
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
Regina M. Gonzales, Alexander L. Wolf
ATAL
2006
Springer
14 years 14 days ago
Decentralized planning under uncertainty for teams of communicating agents
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
Matthijs T. J. Spaan, Geoffrey J. Gordon, Nikos A....
FDL
2004
IEEE
14 years 14 days ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
FPGA
2006
ACM
131views FPGA» more  FPGA 2006»
14 years 12 days ago
Yield enhancements of design-specific FPGAs
The high unit cost of FPGA devices often deters their use beyond the prototyping stage. Efforts have been made to reduce the part-cost of FPGA devices, resulting in the developmen...
Nicola Campregher, Peter Y. K. Cheung, George A. C...
ATAL
2008
Springer
13 years 10 months ago
Emotionally based multi-agent e-commerce platform
Experiencing and expressing emotions are integral parts of our life. In the retail area of commerce, emotion plays a fundamental role. When we choose or buy a commodity, our choic...
Nicolae Jascanu