6693 search results - page 156 / 1339 » Methods of Automatic Algorithm Generation |
189
click to vote
DKE
2011
14 years 11 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
122
click to vote
ACSC
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we propose an algorithm for automatic transformation of a graph into a 3D Virtual World and its Euclidean map, using the rectangular dualization technique. The nodes...
147
click to vote
FMSD
2000
15 years 4 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
148
click to vote
VC
2010
14 years 11 months ago
2010
In this research we present a technique for the automatic generation of 3D art form, which allows designers to get access to large number of 3D shapes that can be altered interact...
117
click to vote
IJCAI
2007
15 years 6 months ago
2007
Most word sense disambiguation (WSD) methods require large quantities of manually annotated training data and/or do not exploit fully the semantic relations of thesauri. We propos...