Sciweavers

1860 search results - page 228 / 372
» Structured Multimedia Authoring
Sort
View
113
Voted
ICANN
2003
Springer
15 years 8 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 ...
133
Voted
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 7 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
280
Voted
CRW
1998
Springer
332views Robotics» more  CRW 1998»
15 years 7 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 7 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 7 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