218 search results - page 18 / 44 » Concurrent simulation and optimization models for mining pla... |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— An active cannula is a medical device composed of thin, pre-curved, telescoping tubes that may enable many new surgical procedures. Planning optimal motions for these devices i...
EUROCAST
2007
Springer
15 years 1 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Social Network Marketing techniques employ pre-existing social networks to increase brands or products awareness through word-of-mouth promotion. Full understanding of social netw...
63
Voted
IGARSS
2009
14 years 7 months ago
2009
The paper describes a novice method for sampling geochemicals to characterize mine tailings. We model the spatial relationships between a multi-element signature and, as covariate...
115
click to vote
APNOMS
2008
Springer
14 years 11 months ago
2008
Springer
As network attacks have increased in number and severity over the past few years, intrusion detection system (IDS) is increasingly becoming a critical component to secure the netwo...