16616 search results - page 254 / 3324 » Extending Extended Vacuity |
101
Voted
ENTCS
2007
15 years 6 months ago
2007
162
click to vote
JSAT
2006
15 years 6 months ago
2006
Abstract. We introduce new approaches intended to speed up determining the satisfiability of a given Boolean formula expressed as a conjunction of Boolean functions. A common prac...
144
click to vote
JWE
2006
15 years 6 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
185
click to vote
NC
2008
15 years 6 months ago
2008
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems...
117
Voted
LMCS
2006
15 years 6 months ago
2006