Sciweavers

2826 search results - page 41 / 566
» FFF97 - Oberon in the Real World
Sort
View
IDEAL
2010
Springer
14 years 9 months ago
An Efficient Approach to Clustering Real-Estate Listings
World Wide Web (WWW) is a vast source of information, the problem of information overload is more acute than ever. Due to noise in WWW, it is becoming hard to find usable informati...
Maciej Grzenda, Deepak Thukral
PODC
1990
ACM
15 years 3 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
HICSS
1998
IEEE
90views Biometrics» more  HICSS 1998»
15 years 4 months ago
Real-Time New Product Development in Financial Services: Some Managerial Implications
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
Pete Naudé, Ian D. Blackman, S. Dengler
AINA
2006
IEEE
15 years 5 months ago
Communication between Outdoor Field and Immersive Virtual Environment
This paper proposes the concept of the hybrid information space that integrates the information space seamlessly between the real world and the virtual world, and the prototype sy...
Tetsuro Ogi, Tetsuro Fujise
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 4 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein