Sciweavers

23704 search results - page 249 / 4741
» Data and Information as Property
Sort
View
IFIP13
2004
15 years 8 months ago
Formal Verification and Validation of Interactive Systems Specifications
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
Yamine Aït Ameur, Benoit Breholée, Pat...
NIPS
1993
15 years 8 months ago
Computational Elements of the Adaptive Controller of the Human Arm
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...
Reza Shadmehr, Ferdinando A. Mussa-Ivaldi
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 6 months ago
Profile Popularity in a Business-oriented Online Social Network
Abstract--Analysing Online Social Networks (OSN), voluntarily maintained and automatically exploitable databases of electronic personal information, promises a wealth of insight in...
Thorsten Strufe
IDA
2008
Springer
15 years 6 months ago
Mining frequent items in a stream using flexible windows
We study the problem of finding frequent items in a continuous stream of itemsets. A new frequency measure is introduced, based on a flexible window length. For a given item, its ...
Toon Calders, Nele Dexters, Bart Goethals
DKE
2006
100views more  DKE 2006»
15 years 6 months ago
An ontology based approach to the integration of entity-relationship schemas
In schema integration, schematic discrepancies occur when data in one database correspond to metadata in another. We explicitly declare the context that is the meta information re...
Qi He, Tok Wang Ling