2306 search results - page 124 / 462 » Modeling issues in a shipping system |
ASM
2010
ASM
15 years 1 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
130
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
Context-aware systems are pervading everyday life, therefore context modeling is becoming a relevant issue and an expanding research field. This survey has the goal to provide a c...
IJCNN
2006
IEEE
15 years 4 months ago
2006
IEEE
—In the past decade, artificial neural networks (ANNs) have been widely applied to the engineering problems with a complicated system. ANNs are becoming an important alternative ...
TREC
2004
14 years 11 months ago
2004
While participating in the HARD track our first question was, what an IR-application should look like that takes into account preference meta-data from the user, without the need ...
104
click to vote
JCDL
2009
ACM
15 years 4 months ago
2009
ACM
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...