7766 search results - page 426 / 1554 » Testing Nondeterminate Systems |
128
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In the last decade, blogs have exploded in number, popularity and scope. However, many commentators and researchers speculate that blogs isolate readers in echo chambers, cutting ...
194
click to vote
ACML
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Topic models are a discrete analogue to principle component analysis and independent component analysis that model topic at the word level within a document. They have ma...
172
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Knowledge and knowledge sharing are an important facet of innovative activities. This paper aims to investigate knowledge creation in innovation context and presents the construct...
190
click to vote
SFM
2007
Springer
16 years 29 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
187
click to vote
TABLEAUX
2005
Springer
16 years 9 days ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...