Sciweavers

1199 search results - page 33 / 240
» Automated Extraction of Problem Structure
Sort
View
CSL
2010
Springer
13 years 10 months ago
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
Barnaby Martin, Jos Martin
AES
2008
Springer
182views Cryptology» more  AES 2008»
13 years 9 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
HICSS
2002
IEEE
87views Biometrics» more  HICSS 2002»
14 years 1 months ago
Using Enterprise Reference Models for Automated ISO 9000 Compliance Evaluation
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
Henry M. Kim, Mark S. Fox
SIGMOD
1998
ACM
150views Database» more  SIGMOD 1998»
14 years 1 months ago
Extracting Schema from Semistructured Data
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwan...
ISBI
2007
IEEE
14 years 3 months ago
Automated Grading of Prostate Cancer Using Architectural and Textural Image Features
The current method of grading prostate cancer on histology uses the Gleason system, which describes five increasingly malignant stages of cancer according to qualitative analysis...
Scott Doyle, Mark Hwang, Kinsuk Shah, Anant Madabh...