Sciweavers

6616 search results - page 237 / 1324
» Can markets help
Sort
View
ISCAS
2005
IEEE
107views Hardware» more  ISCAS 2005»
14 years 4 months ago
Parameter domain pruning for improving convergence of synthesis algorithms
— This paper presents a parameter domain pruning method. Parameter domain pruning aims to identify parameter sub-domains that are more likely to produce feasible and good design ...
Hua Tang, Alex Doboli
AIRWEB
2005
Springer
14 years 4 months ago
Web Spam Taxonomy
Web spamming refers to actions intended to mislead search engines into ranking some pages higher than they deserve. Recently, the amount of web spam has increased dramatically, le...
Zoltán Gyöngyi, Hector Garcia-Molina
VSTTE
2005
Springer
14 years 4 months ago
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
Gerard J. Holzmann, Rajeev Joshi
WORDS
2003
IEEE
14 years 4 months ago
Extending UML towards a Useful OO-Language for Modeling Dependability Features
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
M. Dal Cin
MM
2003
ACM
110views Multimedia» more  MM 2003»
14 years 4 months ago
The mindful camera: common sense for documentary videography
Cameras with story understanding can help videographers reflect on their process of content capture during documentary construction. This paper describes a set of tools that use c...
Barbara Barry