7064 search results - page 39 / 1413 » From States to Histories |
GROUP
1999
ACM
13 years 12 months ago
1999
ACM
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
NGITS
1995
Springer
13 years 11 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
BIRTHDAY
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
NIPS
2007
13 years 9 months ago
2007
We extend the Bayesian skill rating system TrueSkill to infer entire time series of skills of players by smoothing through time instead of filtering. The skill of each participat...
CAD
2006
Springer
13 years 7 months ago
2006
Springer
For users of CAD data, few things are as frustrating as receiving unusable, poor quality data. Users often waste time fixing or rebuilding such data from scratch on the basis of p...