Sciweavers

5244 search results - page 228 / 1049
» Structural Complexity of AvgBPP
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 11 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
SAC
2005
ACM
15 years 10 months ago
A complex biological database querying method
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
Jake Yue Chen, John V. Carlis, Ning Gao
144
Voted
DNIS
2005
Springer
112views Database» more  DNIS 2005»
15 years 10 months ago
Modelling Peer-to-Peer Data Networks Under Complex System Theory
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
Cyrus Shahabi, Farnoush Banaei Kashani
ATAL
2007
Springer
15 years 11 months ago
Diagnosis of plan step errors and plan structure violations
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoy...
ICPR
2000
IEEE
15 years 9 months ago
Structure Extraction from Various Kinds of Decorated Characters Using Multi-Scale Images
Decorated characters are widely used in various documents. Practical optical character reader is required to deal with not only common fonts but also complex designed fonts. Howev...
Shinichiro Omachi, Masaki Inoue, Hirotomo Aso