7213 search results - page 990 / 1443 » Automated model grouping |
166
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
170
click to vote
MMM
2005
Springer
16 years 13 days ago
2005
Springer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...
152
click to vote
TIME
2005
IEEE
16 years 12 days ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
159
click to vote
TPHOL
2005
IEEE
16 years 12 days ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
207
click to vote
AISADM
2005
Springer
16 years 12 days ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...