323 search results - page 25 / 65 » The Case for High Level Programming Models for Reconfigurabl... |
DSVIS
1998
Springer
14 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
CVPR
1997
IEEE
14 years 11 months ago
1997
IEEE
Shape indexing is a way of making rapid associations between features detected in an image and object models that could have produced them. When model databases are large, the use...
CLEIEJ
2010
13 years 6 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...
DIMEA
2007
14 years 25 days ago
2007
The concept of Player Adaptive Entertainment Computing (PAEC) is introduced to provide personalized experiences when interacting with the entertainment media. Two of the important ...