Sciweavers

8636 search results - page 1609 / 1728
» How Developers Copy
Sort
View
119
Voted
PSIVT
2007
Springer
110views Multimedia» more  PSIVT 2007»
15 years 8 months ago
Measuring Linearity of Ordered Point Sets
It is often practical to measure how linear a certain ordered set of points is. We are interested in linearity measures which are invariant to rotation, scaling, and translation. T...
Milos Stojmenovic, Amiya Nayak
122
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...
Richard Robinson, Mingyan Li, Scott Lintelman, Kri...
SEMWEB
2007
Springer
15 years 8 months ago
Cultural Adaptivity for the Semantic Web
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
Katharina Reinecke
111
Voted
SEMWEB
2007
Springer
15 years 8 months ago
Solving Semantic Ambiguity to Improve Semantic Web based Ontology Matching
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciļ¬...
Jorge Gracia, Vanessa Lopez, Mathieu d'Aquin, Mart...
105
Voted
VMCAI
2007
Springer
15 years 8 months ago
Lattice Automata
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
Orna Kupferman, Yoad Lustig
« Prev « First page 1609 / 1728 Last » Next »