3971 search results - page 546 / 795 » On the Use of Properties in Java Applications |
175
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
182
click to vote
TIT
2008
15 years 7 months ago
2008
An extractor is a function that is used to extract randomness. Given an imperfect random source X and a uniform seed Y , the output (X; Y ) is close to uniform. We study properties...
204
click to vote
JIB
2007
15 years 7 months ago
2007
Systems biology is an emerging field that aims at obtaining a system-level understanding of biological processes. The modelling and simulation of networks of biochemical reactions...
163
click to vote
MCS
2007
Springer
15 years 7 months ago
2007
Springer
In this short note, we revisit the so-called Ermakov–Pinney (EP) equation viewing its properties from a physically motivated perspective. We discuss its ties with the Schr¨odin...
279
click to vote
IJSEKE
2002
15 years 6 months ago
2002
This paper illustrates a method, called heat, for image indexing based on texture information. The texture's partitioning element is first put into 1-D form and then its Hier...