4401 search results - page 574 / 881 » Computing with Default Logic |
176
click to vote
SKG
2006
IEEE
16 years 22 days ago
2006
IEEE
Semantic completeness and syntax completeness are important characters of the general formal systems, two the completeness have different meaning for a formal system. This paper a...
194
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
152
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
174
click to vote
SIGCSE
2006
ACM
16 years 20 days ago
2006
ACM
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
160
click to vote
ACSC
2005
IEEE
16 years 10 days ago
2005
IEEE
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...