8582 search results - page 159 / 1717 » Here or There |
169
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
The increasing prevalence of user-led content production especially in online environments from the Wikipedia to open news publications and open source software development communi...
169
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Existing niching techniques commonly use the Euclidean distance metric in the decision space for the classification of feasible solutions to the niches under formation. This approa...
133
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
413
click to vote
ANTS
2010
Springer
15 years 10 months ago
2010
Springer
: We establish a conjecture of Brizolis that for every prime p > 3 there is a primitive root r and an integer t in the interval [1, p − 1] with logr t = t. Here, logr is the d...
163
click to vote
ITP
2010
15 years 10 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...