3909 search results - page 463 / 782 » Extreme Model Checking |
147
click to vote
CAI
2006
Springer
15 years 5 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
JSCIC
2008
15 years 4 months ago
2008
Abstract An efficient and accurate numerical scheme is proposed, analyzed and implemented for the Kawahara and modified Kawahara equations which model many physical phenomena such ...
139
click to vote
ESWA
2007
15 years 4 months ago
2007
This study develops an ontology building process for extracting conceptual tags and hierarchies in textual corpus. Though humans have been creating ontologies for many years, effi...
199
click to vote
NGC
2006
Springer
15 years 4 months ago
2006
Springer
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
134
click to vote
JMLR
2002
15 years 4 months ago
2002
We extend the classical algorithms of Valiant and Haussler for learning compact conjunctions and disjunctions of Boolean attributes to allow features that are constructed from the...