Sciweavers

3706 search results - page 631 / 742
» KtSeqC: System Description
Sort
View
IASSE
2004
15 years 7 months ago
Execution of A Requirement Model in Software Development
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J....
FOIS
2006
15 years 7 months ago
Approximation of Ontologies in CASL
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
Klaus Lüttich
DGO
2003
118views Education» more  DGO 2003»
15 years 7 months ago
Reducing Storage Costs for Federated Search of Text Databases
In environments containing many text search engines a federated search system provides people with a single point of access. When search engines are managed by independent organiz...
Jie Lu, Jamie Callan
DLT
2003
15 years 7 months ago
Tile Rewriting Grammars
Past proposals for applying to pictures or 2D languages the generative grammar approach do not match in our opinion the elegance and descriptive adequacy that made Context Free gr...
Stefano Crespi-Reghizzi, Matteo Pradella
IJCAI
2001
15 years 7 months ago
Perceptual Anchoring of Symbols for Action
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
Silvia Coradeschi, Alessandro Saffiotti