3775 search results - page 445 / 755 » The Expression Problem Revisited |
164
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...
195
click to vote
IJCAI
2003
15 years 8 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
164
click to vote
WSC
2001
15 years 8 months ago
2001
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
183
click to vote
WSCG
2004
15 years 8 months ago
2004
The problem of segmenting color video sequences is addressed. Boundary motion and occlusion relations expressed by labeling rules are argued to be of key importance for segmentati...
192
click to vote
NIPS
2003
15 years 8 months ago
2003
We consider the problem of reconstructing patterns from a feature map. Learning algorithms using kernels to operate in a reproducing kernel Hilbert space (RKHS) express their solu...