4965 search results - page 398 / 993 » A Simple Abstraction for Data Modeling |
174
Voted
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
174
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
212
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
162
click to vote
IJCAI
1989
15 years 8 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
177
click to vote
APCCM
2009
15 years 8 months ago
2009
Database Semantics (DBS) is a computational model of how communicating with natural language works. at a level of abstraction which may be applied to natural and artificial agents...