Sciweavers

286 search results - page 34 / 58
» Weak Ordering - A New Definition
Sort
View
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
14 years 1 months ago
Beyond Mobile: Research Topics for upcoming Technologies in the Insurance Industry
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...
Christian D. Müller, Hans-Dieter Zimmermann
FM
1991
Springer
164views Formal Methods» more  FM 1991»
13 years 11 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
ICHIM
2001
113views more  ICHIM 2001»
13 years 9 months ago
A Content-Centered Methodology for Authoring 3D Interactive Worlds for Cultural Heritage
The application of 3D visualization technologies to cultural heritage has deeply evolved along years, shifting from the role of an ancillary technical solution to the dignity of a...
Augusto Celentano, Fabio Pittarello
PGLDB
2003
132views Database» more  PGLDB 2003»
13 years 9 months ago
E-Learning Environments: An Integrated View
The contemporary technological evolution requires higher levels of education and new skills from the work-force making people more conscious of the importance of being better educ...
Maria Helena Lima Baptista Braz, Sean W. M. Siquei...
LOGCOM
2007
59views more  LOGCOM 2007»
13 years 7 months ago
Forgetting Literals with Varying Propositional Symbols
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
Yves Moinard