7766 search results - page 426 / 1554 » Testing Nondeterminate Systems |
143
Voted
HICSS
2009
IEEE
16 years 2 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 ...
215
Voted
ACML
2009
Springer
16 years 2 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...
193
Voted
HICSS
2008
IEEE
16 years 2 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...
203
Voted
SFM
2007
Springer
16 years 1 months 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 ...
199
Voted
TABLEAUX
2005
Springer
16 years 1 months 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...