Sciweavers

231 search results - page 24 / 47
» Using Analytic CLP to Model and Analyze Hybrid Systems
Sort
View
HYBRID
1998
Springer
15 years 2 months ago
High Order Eigentensors as Symbolic Rules in Competitive Learning
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
Hod Lipson, Hava T. Siegelmann
ICECCS
2010
IEEE
196views Hardware» more  ICECCS 2010»
14 years 10 months ago
Implementing and Evaluating a Model Checker for Transactional Memory Systems
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
ISQED
2003
IEEE
109views Hardware» more  ISQED 2003»
15 years 3 months ago
Modeling and Analysis of Power Distribution Networks for Gigabit Applications
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
Wendemagegnehu T. Beyene, Chuck Yuan, Joong-Ho Kim...
HICSS
2006
IEEE
102views Biometrics» more  HICSS 2006»
15 years 3 months ago
A Model for Simulation Analyses of Cooperative Sourcing in the Banking Industry
This paper presents a model for investigating causes and effects of Cooperative Sourcing in the banking industry. Cooperative Sourcing means merging of similar processes by severa...
Daniel Beimborn
ANTSW
2008
Springer
14 years 12 months ago
Modeling Phase Transition in Self-organized Mobile Robot Flocks
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
Ali Emre Turgut, Cristián Huepe, Hande &Cce...