نتایج جستجو برای: make
تعداد نتایج: 344936 فیلتر نتایج به سال:
We asked why Spanish-monolingual children exhibit a weaker, slower-to-develop shape bias in word-learning contexts compared to English-monolingual children (Hahn & Cantrell, 2012). Ten English-monolingual adults and nine EnglishSpanish bilingual adults rated the perceptual similarity of items indicated by subsets of words from the English MCDI and Spanish MCDI, respectively. Consistent with pre...
We describe the key concepts underlying the Isabelle/Isar implementation, including ML references for the most important functions. The aim is to give some insight into the overall system architecture, and provide clues on implementing applications within this framework. Isabelle was not designed; it evolved. Not everyone likes this idea. Specification experts rightly abhor trial-and-error prog...
Online learning algorithms which address fast data streams should process examples at the rate they arrive, using a single scan of data and fixed memory, maintaining a decision model at any time and being able to adapt the model to the most recent data. These features yield the necessity of using approximate models. One problem that usually arises with approximate models is the definition of a ...
This paper presents an assignment model of CEOs and rms. The distributions of CEO pay levels and rmsmarket values are analyzed as the competitive equilibrium of a matching market where talents, as well as CEO positions, are scarce. It is shown how the observed joint distribution of CEO pay and market value can then be used to infer the economic value of underlying ability di¤erences. The var...
A common inconvenience of keeping a computer system’s installed applications updated is the loss of the availability of services while the respective application is updating. Typically, the user has a hard choice to make: Accept the downtime or pay the cost of a redundant system. Many regular applications are not well suited to be run in a truly redundant way, but even when a redundant system i...
One of the most important functions a compiler must perform is the allocation of reg isters for the instruction stream it generates. In addition to assuring that the allocation of registers is consistent with the semantics of the program being compiled, many compilers attempt to maKe 'optimal' use of the registers. A survey of work in the area of optimal register allocation is presented, and th...
s scientists, we apply scientific investigative techniques to gain more understanding of what makes software “good” and how to make software well. Often, we adapt investigative techniques from other disciplines to define measures that make sense in the business, technical, and social contexts we use for decision making. However, sometimes we can learn as much from another discipline’s failures ...
Modern approaches to chemistry and pharmacology deal with large-scale molecular design problems. The molecular design is essentially based on data warehousing and data mining. Data warehousing techniques are needed to collect relevant data from distributed and heterogeneous databases. Data mining techniques are used to build predictive quantitative structure-property and activity relationship m...
Software building is an important task during software development. However, program analysis supports for build code are still limited, especially for build code written in a dynamic language such as Make. We propose SYMake, a novel program analysis tool for build code in Makefiles that is capable of detecting several types of code smells and errors and providing automatic supports in renaming...
This paper proposes the concept of the Virtual Enterprise Broker as an innovative model to design and create Build to Order supply chains. The Build to Order supply chain responds to the demands of new global manufacturing economy offering high level of customization, high customer driven design, volume flexibility, short cycle time, none inventory costs, minimal total cost and dynamic supply c...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید