6894 search results - page 1084 / 1379 » Generation Problems |
195
click to vote
CMSB
2003
Springer
15 years 12 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
161
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
We study the complexity of building pseudorandom generators (PRGs) with logarithmic seed length from hard functions. We show that, starting from a function f : {0, 1}l → {0, 1} ...
179
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
XML is rapidly becoming one of the most adopted standard for information representation and interchange over the Internet. With the proliferation of mobile devices of communication...
178
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Emerging applications using miniature electronic devices (e.g., tracking mobile objects using sensors) generate very large amounts of highly dynamic data that poses very high overh...
167
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...