2840 search results - page 541 / 568 » Learning Phrasal Categories |
106
click to vote
KDD
2009
ACM
15 years 2 months ago
2009
ACM
We develop and evaluate an approach to causal modeling based on time series data, collectively referred to as“grouped graphical Granger modeling methods.” Graphical Granger mo...
89
Voted
OOPSLA
2009
Springer
15 years 2 months ago
2009
Springer
The “Killer Examples” series of workshops are highly interactive workshops which have been an annual occurrence at OOPSLA since 2002. The goals of the workshop are to bring to...
86
Voted
SIGGRAPH
2000
ACM
15 years 2 months ago
2000
ACM
We describe a hardware and software system for digitizing the shape and color of large fragile objects under non-laboratory conditions. Our system employs laser triangulation rang...
DL
1998
Springer
15 years 1 months ago
1998
Springer
The recent explosion of on-line information in Digital Libraries and on the World Wide Web has given rise to a number of query-based search engines and manually constructed topica...
PLDI
2010
ACM
15 years 1 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...