1585 search results - page 232 / 317 » A framework for computer-aided validation |
120
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...
163
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Data mining can be used to model crime detection problems. Crimes are a social nuisance and cost our society dearly in several ways. Any research that can help in solving crimes f...
120
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
116
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
107
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
A key emerging and popular communication paradigm, primarily employed for information dissemination, is peer-to-peer (P2P) networking. In this paper, we model the spread of malwar...