4047 search results - page 391 / 810 » Algebraic Model Checking |
171
click to vote
MTA
2000
15 years 6 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
169
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
195
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
164
click to vote
IWIA
2005
IEEE
16 years 12 days ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
182
click to vote
INEX
2004
Springer
16 years 5 days ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...