8671 search results - page 1430 / 1735 » A generator for hierarchical problems |
202
click to vote
CMSB
2003
Springer
16 years 19 hour 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...
166
click to vote
COCO
2003
Springer
16 years 19 hour 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} ...
186
click to vote
DEXA
2003
Springer
16 years 17 hour 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...
182
Voted
DEXA
2003
Springer
16 years 16 hour 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...
172
Voted
FM
2003
Springer
16 years 11 hour 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 ...