Sciweavers

10910 search results - page 246 / 2182
» Input modeling using a computer algebra system
Sort
View
ICCAD
2001
IEEE
91views Hardware» more  ICCAD 2001»
16 years 2 months ago
A System for Synthesizing Optimized FPGA Hardware from MATLAB
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...
Malay Haldar, Anshuman Nayak, Alok N. Choudhary, P...
AIS
2005
Springer
15 years 5 months ago
Computer decision-support systems for public argumentation: assessing deliberative legitimacy
Recent proposals for computer-assisted argumentation have drawn on dialectical models of argumentation. When used to assist public policy planning, such systems also raise questio...
William Rehg, Peter McBurney, Simon Parsons
LOGCOM
1998
126views more  LOGCOM 1998»
15 years 5 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
GECCO
2008
Springer
110views Optimization» more  GECCO 2008»
15 years 6 months ago
Evolving stable behavior in a spino-neuromuscular system model
This paper demonstrates the effectiveness of genetic algorithms in training stable behavior in a model of the spinoneuromuscular system (SNMS). In particular, we test the stabili...
Stanley Phillips Gotshall, Terry Soule
MOBILWARE
2010
ACM
15 years 3 months ago
Towards an Elastic Application Model for Augmenting Computing Capabilities of Mobile Platforms
We propose a new elastic application model that enables the seamless and transparent use of cloud resources to augment the capability of resourceconstrained mobile devices. The sal...
Xinwen Zhang, Sangoh Jeong, Anugeetha Kunjithapath...