Sciweavers

5695 search results - page 833 / 1139
» Using Many Cameras as One
Sort
View
ISORC
1998
IEEE
15 years 11 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
WEBDB
1999
Springer
108views Database» more  WEBDB 1999»
15 years 11 months ago
Exploiting Geographical Location Information of Web Pages
Many information resources on the web are relevant primarily to limited geographical communities. For instance, web sites containing information on restaurants, theaters, and apar...
Orkut Buyukkokten, Junghoo Cho, Hector Garcia-Moli...
SIGIR
1998
ACM
15 years 11 months ago
A Language Modeling Approach to Information Retrieval
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
Jay M. Ponte, W. Bruce Croft
197
Voted
ECOOPW
1998
Springer
15 years 11 months ago
Workshop Report - ECOOP'98 Workshop 7: Tools and Environments for Business Rules
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
Kim Mens, Roel Wuyts, Dirk Bontridder, Alain Grijs...
ER
1998
Springer
100views Database» more  ER 1998»
15 years 11 months ago
Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
Olga De Troyer