31 search results - page 3 / 7 » Identifying Enumeration Types Modeled with Symbolic Constant... |
133
Voted
AML
1998
15 years 3 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 ...
140
Voted
DIAGRAMS
2004
Springer
15 years 7 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...
112
Voted
ECAI
2008
Springer
15 years 5 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...
123
Voted
PEPM
2009
ACM
16 years 16 days 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...
157
Voted
KDD
2009
ACM
16 years 4 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...