9405 search results - page 346 / 1881 » Computing a Model of Set Theory |
157
click to vote
TGIS
2002
15 years 4 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
138
Voted
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Many objects have smooth surfaces of a fairly uniform color, thereby exhibiting shading patterns that reveal information about its shape, an important clue to the nature of the ob...
162
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
122
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
142
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...