Sciweavers

2242 search results - page 338 / 449
» From testing to anti-product development
Sort
View
WCE
2007
15 years 7 months ago
On Line Surface Roughness Measurement Using Image Processing and Machine Vision
- Machine vision has evolved to become a mainstream automation tool, enabling computers to replace human vision in high speed and precision manufacturing techniques. Images usually...
M. Rajaram Narayanan, S. Gowri, M. Murali Krishna
ATAL
2010
Springer
15 years 7 months ago
DipGame: a testbed for multiagent systems
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
Angela Fabregues, David Navarro, Alejandro Serrano...
CADE
2010
Springer
15 years 7 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
CIVR
2008
Springer
141views Image Analysis» more  CIVR 2008»
15 years 7 months ago
Experiments in interactive video search by addition and subtraction
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
John Adcock, Matthew L. Cooper, Jeremy Pickens
LDTA
2010
15 years 6 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju