31 search results - page 3 / 7 » Identifying Enumeration Types Modeled with Symbolic Constant... |
AML
1998
13 years 6 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
DIAGRAMS
2004
Springer
13 years 10 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
ECAI
2008
Springer
13 years 8 months ago
2008
Springer
The Internet is constantly growing, proposing more and more services and sources of information. Modeling personal preferences enables recommender systems to identify relevant subs...
PEPM
2009
ACM
14 years 3 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
KDD
2009
ACM
14 years 7 months ago
2009
ACM
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...