11436 search results - page 176 / 2288 » Modeling Real Reasoning |
157
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
107
click to vote
ICCD
2006
IEEE
16 years 1 days ago
2006
IEEE
— Caches, block memories, predictors, state tables, and other forms of on-chip memory are continuing to consume a greater portion of processor designs with each passing year. Mak...
126
click to vote
SIGKDD
2010
14 years 10 months ago
2010
A number of times when using cross-validation (CV) while trying to do classification/probability estimation we have observed surprisingly low AUC's on real data with very few...
114
click to vote
ESWS
2005
Springer
15 years 8 months ago
2005
Springer
In a real world scenario Semantic Web applications must be capable to cope with the large scale, distributed, heterogeneous, unreliable and insecure environment of the World Wide W...
118
click to vote
HAID
2008
Springer
15 years 4 months ago
2008
Springer
The way users interact with mobile applications varies according to the context where they are. We conducted a study where users had to manipulate a multimodal questionnaire in 4 d...