Sciweavers

3119 search results - page 193 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
120
Voted
VOSS
2004
Springer
118views Mathematics» more  VOSS 2004»
15 years 9 months ago
Serial Disk-based Analysis of Large Stochastic Models
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
Rashid Mehmood
119
Voted
EWCBR
2004
Springer
15 years 7 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
114
Voted
CIE
2007
Springer
15 years 7 months ago
Effective Computation for Nonlinear Systems
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
Pieter Collins
114
Voted
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 9 months ago
Improving Odour Analysis Through Human-Robot Cooperation
— More and more work in the field of artificial olfaction considers the integration of olfaction onto robotic systems. An important part of this integration is providing the ro...
Amy Loutfi, Silvia Coradeschi
172
Voted
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
15 years 1 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...