Sciweavers

1860 search results - page 228 / 372
» Structured Multimedia Authoring
Sort
View
ICANN
2003
Springer
15 years 11 months ago
Supervised Locally Linear Embedding
Locally linear embedding (LLE) is a recently proposed method for unsupervised nonlinear dimensionality reduction. It has a number of attractive features: it does not require an ite...
Dick de Ridder, Olga Kouropteva, Oleg Okun, Matti ...
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 10 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
CRW
1998
Springer
332views Robotics» more  CRW 1998»
15 years 10 months ago
Communication in Domains with Unreliable, Single-Channel, Low-Bandwidth Communication
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...
Peter Stone, Manuela M. Veloso
HICSS
1997
IEEE
89views Biometrics» more  HICSS 1997»
15 years 10 months ago
Supporting Inspections With an Electronic Meeting System
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. The meeting is used...
Michiel van Genuchten, Wieger Cornelissen, Cor van...
DOCENG
2007
ACM
15 years 10 months ago
A model for mapping between printed and digital document instances
The first steps towards bridging the paper-digital divide have been achieved with the development of a range of technologies that allow printed documents to be linked to digital c...
Nadir Weibel, Moira C. Norrie, Beat Signer