7121 search results - page 462 / 1425 » Functions as Session-Typed Processes |
310
click to vote
AIEDAM
2011
15 years 1 months ago
2011
In familiar design domains, expert designers are able to quickly focus on “good designs”, based on constraints they have learned while exploring the design space. This ability ...
178
click to vote
TSMC
2010
15 years 1 months ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
191
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
When working on a new project, researchers need to devote a significant amount of time and effort to surveying the relevant literature. This is required in order to gain experti...
237
click to vote
JMLR
2012
13 years 9 months ago
2012
While determining model complexity is an important problem in machine learning, many feature learning algorithms rely on cross-validation to choose an optimal number of features, ...
208
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—Large graphs are used in many applications, such as social networking. The management of these graphs poses new challenges because such graphs are too large to fit on a single ...