Sciweavers

3990 search results - page 553 / 798
» The design and applications of a context service
Sort
View
TVLSI
2008
124views more  TVLSI 2008»
15 years 7 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
ETS
2002
IEEE
146views Hardware» more  ETS 2002»
15 years 7 months ago
Teaching Motor Disability Assessment over the Web: MODASPECTRA
MODASPECTRA (MOtor Disability Assessment SPEcialists' TRAining) was a research and technology development project aimed at developing quality teaching and training of post-gr...
Salvatore Valenti, Sandro Fioretti, Maurizio Mauri...
SYNTHESE
2010
76views more  SYNTHESE 2010»
15 years 5 months ago
The epistemic goal of a concept: accounting for the rationality of semantic change and variation
: The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists...
Ingo Brigandt
ICCV
2007
IEEE
16 years 1 months ago
PEYE: Toward a Visual Motion Based Perceptual Interface for Mobile Devices
We present the architecture and algorithm design of a visual motion based perceptual interface for mobile devices with cameras. In addition to motion vector, we use the term “vis...
Gang Hua, Ting-Yi Yang, Srinath Vasireddy
IV
2007
IEEE
184views Visualization» more  IV 2007»
16 years 1 months ago
Visual Data Mining of Web Navigational Data
Discovering web navigational trends and understanding data mining results is undeniably advantageous to web designers and web-based application builders. It is also desirable to i...
Jiyang Chen, Tong Zheng, William Thorne, Osmar R. ...