Sciweavers

9832 search results - page 343 / 1967
» An Object Model for Multiprogramming
Sort
View
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 10 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
PRESENCE
2000
76views more  PRESENCE 2000»
15 years 6 months ago
Localization of a Time-Delayed, Monocular Virtual Object Superimposed on a Real Environment
Observers adjusted a pointer to match the depicted distance of a monocular virtual object viewed in a see-through, head-mounted display. Distance information was available through...
Jeffrey McCandless, Stephen R. Ellis, Bernard D. A...
ITIIS
2008
149views more  ITIIS 2008»
15 years 5 months ago
Sharing e-Learning Object Metadata Using ebXML Registries for Semantic Grid Computing
To facilitate the processes of e-learning resource description, discovery and reuse, e-learning objects should be appropriately described and classified using standard metadata th...
Hyoung Do Kim
OOPSLA
2009
Springer
16 years 1 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
CVPR
2012
IEEE
13 years 9 months ago
Boosting bottom-up and top-down visual features for saliency estimation
Despite significant recent progress, the best available visual saliency models still lag behind human performance in predicting eye fixations in free-viewing of natural scenes. ...
Ali Borji