3771 search results - page 80 / 755 » Subobject Transformation Systems |
102
Voted
ESANN
2004
15 years 4 months ago
2004
This work investigates whether population vector coding could be a principle mechanism for sensorimotor transformations. This paper presents a formal demonstration of how populatio...
139
Voted
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
117
click to vote
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
For applications of first-order automated theorem provers in a wider verification context it is essential to provide a means of presenting and checking automatically found proofs...
115
click to vote
MT
2007
15 years 2 months ago
2007
We study automata for capturing the transformations in practical natural language processing systems, especially those that translate between human languages. For several variation...
124
click to vote
CIKM
2004
Springer
15 years 8 months ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...