Sciweavers

887 search results - page 33 / 178
» Automated Detection of Design Patterns
Sort
View
IPPS
2000
IEEE
13 years 11 months ago
Mobile Agents to Automate Fault Management in Wireless and Mobile Networks
This paper studies the automation of fault management of wireless and mobile networks. A network management protocol similar to SNMP with an integrated architecture using mobile ag...
Niki Pissinou, Bhagyavati, Kia Makki
TCAD
2008
181views more  TCAD 2008»
13 years 7 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
BIBE
2006
IEEE
112views Bioinformatics» more  BIBE 2006»
14 years 1 months ago
Finding Correlations in Functionally Equivalent Proteins by Integrating Automated and Visual Data Exploration
The analysis of alignments of functionally equivalent proteins can reveal regularities such as correlated positions or residue patterns which are important to ensure a specific f...
Daniel A. Keim, Daniela Oelke, Royal Truman, Klaus...
PAMI
2012
11 years 9 months ago
Rhythmic Brushstrokes Distinguish van Gogh from His Contemporaries: Findings via Automated Brushstroke Extraction
— Art historians have long observed the highly characteristic brushstroke styles of Vincent van Gogh and have relied on discerning these styles for authenticating and dating his ...
Jia Li, Lei Yao, Ella Hendriks, James Z. Wang
ICAPR
2005
Springer
14 years 28 days ago
Designing a Fast Convolution Under the LIP Paradigm Applied to Edge Detection
The Logarithmic Image Processing model (LIP) is a robust mathematical framework for the processing of transmitted and reflected images. It follows many visual, physical and psycho...
José M. Palomares, Jesús Gonzá...