Sciweavers

3595 search results - page 123 / 719
» Roles of Program Extension
Sort
View
ICLP
2009
Springer
16 years 5 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
COMPSAC
2008
IEEE
15 years 11 months ago
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
Phu H. Phung, David Sands
APBC
2003
191views Bioinformatics» more  APBC 2003»
15 years 5 months ago
Oracle's Technology for Bioinformatics and Future Directions
The Oracle relational database management system, with object-oriented extensions and numerous applicationdriven enhancements, plays a critical role worldwide in managing the expl...
Bruce Blackwell, Siva Ravada
TFS
2008
96views more  TFS 2008»
15 years 4 months ago
Fuzzy Qualitative Robot Kinematics
We propose a fuzzy qualitative (FQ) version of robot kinematics with the goal of bridging the gap between symbolic or qualitative functions and numerical sensing and control tasks...
Honghai Liu, David J. Brown, George Macleod Coghil...
AAAI
1994
15 years 5 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen