3844 search results - page 401 / 769 » Modular interpreted systems |
135
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
138
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— A novel nonparametric paradigm to model identification has been recently proposed where, in place of postulating finite-dimensional models of the system transfer func...
181
click to vote
HICSS
2008
IEEE
16 years 18 days ago
2008
IEEE
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
153
click to vote
IISWC
2008
IEEE
16 years 17 days ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
148
click to vote
ICDCSW
2007
IEEE
16 years 14 days ago
2007
IEEE
Many Ubicomp appliances require the recognition of context. Existing context systems do not provide information about the quality of the context recognizied to the appliance at ru...