6434 search results - page 390 / 1287 » Model Transformations with Reference Models |
168
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
174
Voted
NIPS
2004
15 years 8 months ago
2004
A generative probabilistic model for objects in images is presented. An object consists of a constellation of features. Feature appearance and pose are modeled probabilistically. ...
193
click to vote
CORR
2010
Springer
15 years 6 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...
192
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--Realistic mobility models are fundamental to evaluate the performance of protocols in mobile ad hoc networks. Unfortunately, there are no mobility models that capture the...
195
click to vote
ENTCS
2007
15 years 6 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...