1058 search results - page 48 / 212 » Using Different Representations of Synchronous Systems in SA... |
154
click to vote
AROBOTS
2008
15 years 6 months ago
2008
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
191
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
With the growing needs of information sharing and exchange, MHEG-6(Multimedia Hypermedia information coding Expert Group - part 6) standard is defined so as to provide the interna...
166
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
162
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
258
click to vote
IJSEKE
2002
15 years 6 months ago
2002
This paper illustrates a method, called heat, for image indexing based on texture information. The texture's partitioning element is first put into 1-D form and then its Hier...