21342 search results - page 3806 / 4269 » A Structured Language Model |
145
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
109
click to vote
DOLAP
2003
ACM
15 years 9 months ago
2003
ACM
In the last years, lots of work have been devoted to multidimensional modeling, star shape schemas and OLAP operations. However, “drill-across” has not captured as much attent...
149
click to vote
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
To access the content of digital texts efficiently, it is necessary to provide more sophisticated access than keyword based searching. Genescene provides biomedical researchers wi...
142
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
132
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC...