1003 search results - page 79 / 201 » Extending the Adaptability of Reference Models |
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...
110
click to vote
PODS
2006
ACM
16 years 1 months ago
2006
ACM
The link structure of the Web can be viewed as a massive graph. The preferential attachment model and its variants are well-known random graph models that help explain the evoluti...
105
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— Active worms spread in an automated fashion and can flood the Internet in a very short time. Modeling the spread of active worms can help us understand how active worms spread...
111
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an 1-regularized linear regression prob...
122
click to vote
ENTCS
2007
15 years 1 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...