738 search results - page 11 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
JPDC
2006
14 years 9 months ago
2006
The simulations used in the field of high energy physics are compute intensive and exhibit a high level of data parallelism. These features make such simulations ideal candidates ...
JSAT
2006
14 years 9 months ago
2006
Several propositional fragments have been considered so far as target languages for knowledge compilation and used for improving computational tasks from major AI areas (like infe...
108
click to vote
AAECC
2003
Springer
15 years 1 months ago
2003
Springer
Elliptic curve cryptosystems are usually implemented over fields of characteristic two or over (large) prime fields. For large prime fields, projective coordinates are more suitabl...
ICN
2005
Springer
15 years 3 months ago
2005
Springer
: Data filtering is an important approach to reduce energy consumption. Following this idea, Interest is used as a constraint to filter uninterested data in sensor networks. Within...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
We address recognition and localization of human actions in realistic scenarios. In contrast to the previous work studying human actions in controlled settings, here we train and ...