Sciweavers

1900 search results - page 142 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
119
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 7 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
BC
2005
127views more  BC 2005»
15 years 2 months ago
Computational modeling and exploration of contour integration for visual saliency
Abstract Weproposeacomputationalmodelofcontourintegration for visual saliency. The model uses biologically plausible devices to simulate how the representations of elements aligned...
T. Nathan Mundhenk, Laurent Itti
ICT
2004
Springer
194views Communications» more  ICT 2004»
15 years 8 months ago
Competitive Neural Networks for Fault Detection and Diagnosis in 3G Cellular Systems
We propose a new approach to fault detection and diagnosis in third-generation (3G) cellular networks using competitive neural algorithms. For density estimation purposes, a given ...
Guilherme De A. Barreto, João Cesar M. Mota...
CEAS
2011
Springer
14 years 2 months ago
Spam or ham?: characterizing and detecting fraudulent "not spam" reports in web mail systems
Web mail providers rely on users to “vote” to quickly and collaboratively identify spam messages. Unfortunately, spammers have begun to use bots to control large collections o...
Anirudh Ramachandran, Anirban Dasgupta, Nick Feams...
ACAL
2009
Springer
15 years 9 months ago
Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
Maik Hadorn, Peter Eggenberger Hotz