3256 search results - page 339 / 652 » Applications of Formal Methods to System Design and Verifica... |
190
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
Topics in prior-art patent search are typically full patent applications and relevant items are patents often taken from sources in different languages. Cross language patent retr...
176
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
The proliferation of IT and its consequent dispersion is an enterprise reality, however, most organizations do not have adequate tools and/or methodologies that enable the managem...
197
click to vote
PR
2008
15 years 6 months ago
2008
One of the objectives of precision agriculture is to minimize the volume of herbicides that are applied to the fields through the use of site-specific weed management systems. Thi...
156
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
208
click to vote
EKAW
1992
Springer
15 years 10 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...