884 search results - page 40 / 177 » Linear-Input Subset Analysis |
120
click to vote
ENTCS
2008
15 years 2 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
108
Voted
IJIS
2008
15 years 2 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
121
click to vote
IJCM
2002
15 years 2 months ago
2002
In this paper we focus on the representation of Steiner trades of volume less than or equal to nine and identify those for which the associated partial latin square can be decompos...
115
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Cuckoo hashing with a stash is a robust high-performance hashing scheme that can be used in many real-life applications. It complements cuckoo hashing by adding a small stash stor...
130
Voted
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...