Sciweavers

3951 search results - page 525 / 791
» Automatic amortized analysis
Sort
View
HT
2006
ACM
16 years 19 days ago
A social hypertext model for finding community in blogs
Blogging has become the newest communication medium for creating a virtual community, a set of blogs linking back and forth to one another’s postings, while discussing common to...
Alvin Chin, Mark H. Chignell
ISSTA
2006
ACM
16 years 19 days ago
Analyzing architectural styles with alloy
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
Jung Soo Kim, David Garlan
AVSS
2005
IEEE
16 years 9 days ago
A hybrid technique for face detection in color images
In this paper, a hybrid technique for face detection in color images is presented. The proposed technique combines three analysis models, namely skin detection, automatic eye loca...
Saman Hemantha Cooray, Noel E. O'Connor
DATE
2005
IEEE
134views Hardware» more  DATE 2005»
16 years 9 days ago
Assertion-Based Design Exploration of DVS in Network Processor Architectures
With the scaling of technology and higher requirements on performance and functionality, power dissipation is becoming one of the major design considerations in the development of...
Jia Yu, Wei Wu, Xi Chen, Harry Hsieh, Jun Yang 000...
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 9 days ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner