全文获取类型
收费全文 | 360篇 |
免费 | 5篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 64篇 |
金属工艺 | 8篇 |
机械仪表 | 2篇 |
建筑科学 | 10篇 |
能源动力 | 4篇 |
轻工业 | 30篇 |
水利工程 | 3篇 |
无线电 | 32篇 |
一般工业技术 | 52篇 |
冶金工业 | 47篇 |
原子能技术 | 1篇 |
自动化技术 | 112篇 |
出版年
2023年 | 5篇 |
2022年 | 16篇 |
2021年 | 19篇 |
2020年 | 11篇 |
2019年 | 10篇 |
2018年 | 11篇 |
2017年 | 8篇 |
2016年 | 9篇 |
2015年 | 3篇 |
2014年 | 12篇 |
2013年 | 19篇 |
2012年 | 18篇 |
2011年 | 36篇 |
2010年 | 23篇 |
2009年 | 15篇 |
2008年 | 25篇 |
2007年 | 12篇 |
2006年 | 19篇 |
2005年 | 9篇 |
2004年 | 11篇 |
2003年 | 7篇 |
2002年 | 7篇 |
2001年 | 5篇 |
2000年 | 5篇 |
1999年 | 3篇 |
1998年 | 2篇 |
1997年 | 7篇 |
1996年 | 5篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1984年 | 2篇 |
1982年 | 6篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1977年 | 4篇 |
1969年 | 2篇 |
排序方式: 共有367条查询结果,搜索用时 15 毫秒
21.
Ariel Sabiguero Anthony Baire César Viho 《International Journal on Software Tools for Technology Transfer (STTT)》2008,10(4):337-346
TTCN-3 is an abstract language for specification of Abstract Test Suites. Coding of TTCN-3 values into physically transmittable
messages and decoding of bitstrings into their TTCN-3 representation has been removed from the language itself and relayed
to external and specialized components, called CoDec. CoDec development, either implicitly or explicitly, is a must in any
TTCN-3 testing activity. Field experience showed that there is a high cost associated with CoDec development and maintenance.
To achieve adequate software engineering practices, a set of types, tools and definitions were developed. This paper unveils
gray areas in TTCN-3 architecture and presents a methodological approach to minimize the complexity of CoDec development.
Even though the initial field of application is IPv6 testing, the main tool introduced—the CoDec Generator—is a valuable tool
in any testing application domain. It is designed to lower the CoDec maintenance costs in all test case lifecycle stages,
from development to maintenance.
This work has been partly supported by the IST Go4IT European project: . 相似文献
22.
J. Arturo Olvera-López J. Ariel Carrasco-Ochoa J. Francisco Martínez-Trinidad Josef Kittler 《Artificial Intelligence Review》2010,34(2):133-143
In supervised learning, a training set providing previously known information is used to classify new instances. Commonly, several instances are stored in the training set but some of them are not useful for classifying therefore it is possible to get acceptable classification rates ignoring non useful cases; this process is known as instance selection. Through instance selection the training set is reduced which allows reducing runtimes in the classification and/or training stages of classifiers. This work is focused on presenting a survey of the main instance selection methods reported in the literature. 相似文献
23.
A new fast prototype selection method based on clustering 总被引:1,自引:1,他引:1
J. Arturo Olvera-López J. Ariel Carrasco-Ochoa J. Francisco Martínez-Trinidad 《Pattern Analysis & Applications》2010,13(2):131-141
In supervised classification, a training set T is given to a classifier for classifying new prototypes. In practice, not all information in T is useful for classifiers, therefore, it is convenient to discard irrelevant prototypes from T. This process is known as prototype selection, which is an important task for classifiers since through this process the
time for classification or training could be reduced. In this work, we propose a new fast prototype selection method for large
datasets, based on clustering, which selects border prototypes and some interior prototypes. Experimental results showing
the performance of our method and comparing accuracy and runtimes against other prototype selection methods are reported. 相似文献
24.
25.
Alon Lerner Yiorgos Chrysanthou Ariel Shamir Daniel Cohen‐Or 《Computer Graphics Forum》2010,29(7):2197-2206
Many times, even if a crowd simulation looks good in general, there could be some specific individual behaviors which do not seem correct. Spotting such problems manually can become tedious, but ignoring them may harm the simulation's credibility. In this paper we present a data‐driven approach for evaluating the behaviors of individuals within a simulated crowd. Based on video‐footage of a real crowd, a database of behavior examples is generated. Given a simulation of a crowd, an analog analysis is performed on it, defining a set of queries, which are matched by a similarity function to the database examples. The results offer a possible objective answer to the question of how similar are the simulated individual behaviors to real observed behaviors. Moreover, by changing the video input one can change the context of evaluation. We show several examples of evaluating simulated crowds produced using different techniques and comprising of dense crowds, sparse crowds and flocks. 相似文献
26.
Krzysztof Kurowski Jarek Nabrzyski Ariel Oleksiak Jan Węglarz 《Journal of Scheduling》2008,11(5):371-379
In this paper we address a multicriteria scheduling problem for computational Grid systems. We focus on the two-level hierarchical
Grid scheduling problem, in which at the first level (the Grid level) a Grid broker makes scheduling decisions and allocates
jobs to Grid nodes. Jobs are then sent to the Grid nodes, where local schedulers generate local schedules for each node accordingly.
A general approach is presented taking into account preferences of all the stakeholders of Grid scheduling (end-users, Grid
administrators, and local resource providers) and assuming a lack of knowledge about job time characteristics. A single-stakeholder,
single-criterion version of the approach has been compared experimentally with the existing approaches. 相似文献
27.
Robert P. Kurshan Michael Merritt Ariel Orda Sonia R. Sachs 《Formal Methods in System Design》1994,5(3):227-244
In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697). 相似文献
28.
Ariel La Paz Jos M. Merig Philip Powell Arkalgud Ramaprasad Thant Syn 《Information Systems Journal》2020,30(3):431-457
The Information Systems Journal (ISJ) published its first issue in 1991, and in 2015, the journal celebrated its 25th anniversary. This study presents an overview of the leading research trends in the papers that the journal has published during its first quarter of a century via a bibliometric and ontological analysis. From a bibliometric perspective, the analysis considers the publication and citation structure of the journal. The study then develops a graphical analysis of the bibliographic material by using visualization of similarities software that employs bibliographic coupling and cocitation analysis. The work produces an ontological framework of impact and analyses the journal papers to assess qualitatively ISJ's impact. The results indicate that the journal has grown significantly over time and is now recognized as one of the leading journals in information systems. Yet challenges remain if the journal is to meet its aims in impacting and setting the agenda for the development of the Information Systems field. 相似文献
29.
Ariel Felner Uzi Zahavi Robert Holte Jonathan Schaeffer Nathan Sturtevant Zhifu Zhang 《Artificial Intelligence》2011,175(9-10):1570-1603
In the field of heuristic search it is usually assumed that admissible heuristics are consistent, implying that consistency is a desirable attribute. The term “inconsistent heuristic” has, at times, been portrayed negatively, as something to be avoided. Part of this is historical: early research discovered that inconsistency can lead to poor performance for A? (nodes might be re-expanded many times). However, the issue has never been fully investigated, and was not re-considered after the invention of IDA?.This paper shows that many of the preconceived notions about inconsistent heuristics are outdated. The worst-case exponential time of inconsistent heuristics is shown to only occur on contrived graphs with edge weights that are exponential in the size of the graph. Furthermore, the paper shows that rather than being something to be avoided, inconsistent heuristics often add a diversity of heuristic values into a search which can lead to a reduction in the number of node expansions. Inconsistent heuristics are easy to create, contrary to the common perception in the AI literature. To demonstrate this, a number of methods for achieving effective inconsistent heuristics are presented.Pathmax is a way of propagating inconsistent heuristic values in the search from parent to children. This technique is generalized into bidirectional pathmax (BPMX) which propagates values from a parent to a child node, and vice versa. BPMX can be integrated into IDA? and A?. When inconsistent heuristics are used with BPMX, experimental results show a large reduction in the search effort required by IDA?. Positive results are also presented for A? searches. 相似文献
30.
Gabriel Bustamante Patrick Danès Thomas Forgue Ariel Podlubne Jérôme Manhès 《Autonomous Robots》2018,42(2):477-490
In static scenarios, binaural sound localization is fundamentally limited by front-back ambiguity and distance non-observability. Over the past few years, “active” schemes have been shown to overcome these shortcomings, by combining spatial binaural cues with the motor commands of the sensor. In this context, given a Gaussian prior on the relative position to a source, this paper determines an admissible motion of a binaural head which leads, on average, to the one-step-ahead most informative audio-motor localization. To this aim, a constrained optimization problem is set up, which consists in maximizing the entropy of the next predicted measurement probability density function over a cylindric admissible set. The method is appraised through geometrical arguments, and validated in simulations and on real-life robotic experiments. 相似文献