標(biāo)題: Titlebook: KI 2014: Advances in Artificial Intelligence; 37th Annual German C Carsten Lutz,Michael Thielscher Conference proceedings 2014 Springer Int [打印本頁(yè)] 作者: 娛樂某人 時(shí)間: 2025-3-21 18:55
書目名稱KI 2014: Advances in Artificial Intelligence影響因子(影響力)
書目名稱KI 2014: Advances in Artificial Intelligence影響因子(影響力)學(xué)科排名
書目名稱KI 2014: Advances in Artificial Intelligence網(wǎng)絡(luò)公開度
書目名稱KI 2014: Advances in Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱KI 2014: Advances in Artificial Intelligence被引頻次
書目名稱KI 2014: Advances in Artificial Intelligence被引頻次學(xué)科排名
書目名稱KI 2014: Advances in Artificial Intelligence年度引用
書目名稱KI 2014: Advances in Artificial Intelligence年度引用學(xué)科排名
書目名稱KI 2014: Advances in Artificial Intelligence讀者反饋
書目名稱KI 2014: Advances in Artificial Intelligence讀者反饋學(xué)科排名
作者: 細(xì)節(jié) 時(shí)間: 2025-3-21 22:36 作者: 厚臉皮 時(shí)間: 2025-3-22 00:25 作者: 獸皮 時(shí)間: 2025-3-22 04:42 作者: PAD416 時(shí)間: 2025-3-22 10:12
A Note on Chances and Limitations of Psychometric AInce is not entirely clear; there are no criteria commonly agreed upon necessary or sufficient for the ascription of intelligence other than similarity to human performance (and even this criterion is open for a plethora of possible interpretations); there is a lack of clarity concerning how to prope作者: Madrigal 時(shí)間: 2025-3-22 13:39
Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools and Techniquespired analogy engines in an educational context. It complements the earlier work with an additional fully worked out example by providing a short analysis and a detailed formal model (based on the Heuristic-Driven Theory Projection computational analogy framework) of the Number Highrise, a tool for 作者: Encoding 時(shí)間: 2025-3-22 20:30 作者: outrage 時(shí)間: 2025-3-22 21:20
Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Datan a given environment with very little user interaction. The main idea of our approach is that clustering methods can help to reduce the number of required label queries from user interaction, and at the same time provide the potential to select useful data to learn from. In contrast to standard met作者: installment 時(shí)間: 2025-3-23 04:33 作者: Exterior 時(shí)間: 2025-3-23 06:10
Energy-Efficient Routing: Taking Speed into Accountpproaches we do not only make use of variation of the routes to save energy but also allow variation of driving speed along the route to achieve energy savings. Our approach is based on a simple yet fundamental insight about the optimal velocities along a fixed route and a reduction to the constrain作者: FUSC 時(shí)間: 2025-3-23 10:54
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing compute decision heuristic. In contrast to CDCL solvers, SAT solvers that are based on look-ahead procedures spend more time for decisions and with their local reasoning. This paper proposes three light-weight additions to the CDCL algorithm, ., . and . which allow the search to find unit clauses t作者: Working-Memory 時(shí)間: 2025-3-23 14:39 作者: 切碎 時(shí)間: 2025-3-23 20:43 作者: Highbrow 時(shí)間: 2025-3-23 22:56
Matching with Respect to General Concept Inclusions in the Description Logic $mathcal{EL}$ed by applications in the Classic system. For the DL ., it was shown in 2000 that matching without a TBox is NP-complete. In this paper we show that matching in . w.r.t. general TBoxes (i.e., finite sets of general concept inclusions, GCIs) is in NP by introducing a goal-oriented matching algorithm 作者: 突變 時(shí)間: 2025-3-24 03:05
Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theoryhis is because of its broad application potential in different areas such as economics, e-commerce, the political and social sciences. The complexity of practical automated negotiation – a multi-issue, incomplete-information and continuous-time environment – poses severe challenges, and in recent ye作者: 摘要記錄 時(shí)間: 2025-3-24 09:19 作者: sclera 時(shí)間: 2025-3-24 12:17
Reasoning in ${mathcal{ALC}}$ with Fuzzy Concrete Domainsm. For reasoning in the DL . with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete domains decidability can be regained. Typically, the concrete domain predicates are crisp, which is a limitation for some applications. In this paper we investigate 作者: 熱情的我 時(shí)間: 2025-3-24 18:06
A Stream-Temporal Query Language for Ontology Based Data Accessy, i.e., compilability of the TBox into ontology-level queries, and unfoldability, i.e., transformability of ontology-level queries to queries on datasource level, for the new query-language framework STARQL. The distinguishing feature of STARQL is its general stream windowing and ABox sequencing st作者: thwart 時(shí)間: 2025-3-24 20:41 作者: Indict 時(shí)間: 2025-3-25 02:50
eine ,moralische Panik’ um ., d.h. eine im Verh?ltnis zur Realit?t übersteigerte Wahrnehmung von Stra?enraub diagnostiziert und diese in ein Verh?ltnis zur Krise des britischen (Wohlfahrts-)Staates gesetzt: ?race, Verbrechen und Jugendliche – verdichtet im Bild des ?Stra?enraubs‘ – treten zunehmend作者: incisive 時(shí)間: 2025-3-25 06:09 作者: 確定的事 時(shí)間: 2025-3-25 09:23 作者: 樹木中 時(shí)間: 2025-3-25 13:28
Norbert Manthey haben, k?nnen mit den Bordmitteln der etablierten politischen Philosophie nicht mehr angemessen bew?ltigt werden. Beginnt man bei einer transrheinischen Sicht, dann war die Verbrüderung der Frankfurter Schule in der Person von Jürgen Habermas mit dem Oberhaupt der Dekonstruktionsbewegung, Jacques D作者: tinnitus 時(shí)間: 2025-3-25 18:14 作者: 做作 時(shí)間: 2025-3-25 23:29
Norbert Manthey,Tobias Philipp,Peter Steinke haben, k?nnen mit den Bordmitteln der etablierten politischen Philosophie nicht mehr angemessen bew?ltigt werden. Beginnt man bei einer transrheinischen Sicht, dann war die Verbrüderung der Frankfurter Schule in der Person von Jürgen Habermas mit dem Oberhaupt der Dekonstruktionsbewegung, Jacques D作者: Agnosia 時(shí)間: 2025-3-26 03:08 作者: Ornament 時(shí)間: 2025-3-26 06:45
Energy-Efficient Routing: Taking Speed into Accountpproaches we do not only make use of variation of the routes to save energy but also allow variation of driving speed along the route to achieve energy savings. Our approach is based on a simple yet fundamental insight about the optimal velocities along a fixed route and a reduction to the constrained shortest path problem.作者: hazard 時(shí)間: 2025-3-26 10:14
https://doi.org/10.1007/978-3-319-11206-0case-based reasoning; cognitive modeling; computer vision; constraint satisfaction, search, and optimiz作者: 招人嫉妒 時(shí)間: 2025-3-26 16:30
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/k/image/541643.jpg作者: Condyle 時(shí)間: 2025-3-26 17:55
978-3-319-11205-3Springer International Publishing Switzerland 2014作者: 保全 時(shí)間: 2025-3-26 22:41 作者: Inexorable 時(shí)間: 2025-3-27 01:22 作者: Fraudulent 時(shí)間: 2025-3-27 09:02
Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systemsead. This is a pity because such scaffolding helps learning. To address this issue, we extend the meta-interpretation technique and complement it with a program annotation approach. The expert program is enriched with terms that explain the logic behind the program, very much like comments explainin作者: 某人 時(shí)間: 2025-3-27 12:21
Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theorywhich each of possibly many participating agents negotiates only with its local neighbors rather than all other agents. This paper presents an approach to handle this type of local setting. Starting out from the traditional global perspective, the negotiations are also analyzed in a new fashion that作者: BATE 時(shí)間: 2025-3-27 15:24
Towards a New Semantics for Possibilistic Answer Setsions and avoids counter-intuitive examples arising in the other approaches. We compare our approach to existing ones and present a translation into the standard ASP framework allowing the computation of solutions by existing tools.作者: 拾落穗 時(shí)間: 2025-3-27 19:57 作者: 認(rèn)識(shí) 時(shí)間: 2025-3-27 23:52
Hans van Ditmarsch erlangte. Der . lobte das ?Talent eines wirklich originellen Schriftstellers in Zeiten der Rückkehr zur Tradition“. Die . schrieb: ?Dieser düster komische Roman offenbart sich, wie bei einem Traum, bei jeder neuen Lektüre etwas mehr und bleibt doch wunderbar unentzifferbar.“ Und ein italienischer S作者: Lobotomy 時(shí)間: 2025-3-28 02:13
Frederik Hartmann,Stefan Funken, menschenverachtenden Ausma?e, nicht mehr treffend in den üblichen Normübertretungs-Kategorien fassen lie?. ?hnlich erging es der grünen Bewegung, wie auch immer sie beiderseits des Rheins pr?sent und gestimmt war, mit der neuen Entwicklung der vorhergesehenen Klimakatastrophe.作者: GEST 時(shí)間: 2025-3-28 08:14
Norbert Mantheyn, menschenverachtenden Ausma?e, nicht mehr treffend in den üblichen Normübertretungs-Kategorien fassen lie?. ?hnlich erging es der grünen Bewegung, wie auch immer sie beiderseits des Rheins pr?sent und gestimmt war, mit der neuen Entwicklung der vorhergesehenen Klimakatastrophe.作者: 人造 時(shí)間: 2025-3-28 13:34 作者: 相符 時(shí)間: 2025-3-28 18:39
Norbert Manthey,Tobias Philipp,Peter Steinken, menschenverachtenden Ausma?e, nicht mehr treffend in den üblichen Normübertretungs-Kategorien fassen lie?. ?hnlich erging es der grünen Bewegung, wie auch immer sie beiderseits des Rheins pr?sent und gestimmt war, mit der neuen Entwicklung der vorhergesehenen Klimakatastrophe.作者: ESO 時(shí)間: 2025-3-28 21:39
Shoubhik Debnath,Shiv Sankar Baishya,Rudolph Triebel,Varun Dutt,Daniel Cremers作者: 其他 時(shí)間: 2025-3-28 23:44 作者: 記成螞蟻 時(shí)間: 2025-3-29 05:10
?zgür Lütfü ?z?ep,Ralf M?ller,Christian Neuenstadt作者: 匯總 時(shí)間: 2025-3-29 07:21 作者: Mettle 時(shí)間: 2025-3-29 14:46
Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Dataapply our method to the problem of object detection in indoor environments, for which we use a region-of-interest detector before learning. In experiments we show that our adaptive SSL method can outperform the standard non-adaptive supervised approach on an indoor office data set.作者: Acquired 時(shí)間: 2025-3-29 16:29 作者: 破裂 時(shí)間: 2025-3-29 22:06 作者: chandel 時(shí)間: 2025-3-30 00:12
Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated Deep Neural Networksod to provide depth information to convolutional neural networks. For this purpose, we apply a simplified version of the histogram of oriented depth (HOD) descriptor to the depth channel. We evaluate the network on the challenging NYU Depth V2 dataset and show that with our method, we can reach competitive performance at a high frame rate.作者: Allodynia 時(shí)間: 2025-3-30 05:05
Formula Simplifications as DRAT Derivationsormulas an unsatisfiability proof has to be created. This paper presents certificate constructions for various formula simplification techniques, which are crucial to the success of modern SAT solvers.作者: Parabola 時(shí)間: 2025-3-30 08:22
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consiste way and we present a concrete instantiation, resulting in a space complexity of . clauses in contrast to . clauses generated by the previously best known encoding that maintains generalized arc consistency.作者: 碎片 時(shí)間: 2025-3-30 15:20
Reasoning in ${mathcal{ALC}}$ with Fuzzy Concrete Domainsility can be regained. Typically, the concrete domain predicates are crisp, which is a limitation for some applications. In this paper we investigate crisp . in combination with fuzzy concrete domains for general TBoxes, devise conditions for decidability, and give a tableau-based reasoning algorithm.作者: 依法逮捕 時(shí)間: 2025-3-30 17:52
Conference proceedings 2014ers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling..作者: 無(wú)法解釋 時(shí)間: 2025-3-31 00:02
0302-9743 s. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling..978-3-319-11205-3978-3-319-11206-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 反話 時(shí)間: 2025-3-31 04:00 作者: 產(chǎn)生 時(shí)間: 2025-3-31 08:56 作者: meditation 時(shí)間: 2025-3-31 09:53
A Note on Chances and Limitations of Psychometric AIrly investigate HAI and how to proceed after the very first steps of implementing an HAI system; etc. In this note I assess the ways in which the approach of Psychometric Artificial Intelligence [1] can (and cannot) be taken as a foundation for a scientific approach to HAI.作者: Hemiparesis 時(shí)間: 2025-3-31 16:05 作者: 收養(yǎng) 時(shí)間: 2025-3-31 19:25
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probinghat are hard to find by unit propagation and clause learning alone. With the additional reasoning steps of these techniques the resulting algorithm is able to solve SAT formulas that cannot be solved by the original algorithm.作者: faction 時(shí)間: 2025-4-1 00:11 作者: 繞著哥哥問(wèn) 時(shí)間: 2025-4-1 05:16 作者: Spangle 時(shí)間: 2025-4-1 06:38
Wilh Elbers Ecclesiastes 3:1 about the need for leaders/managers to step away and not meddle when the leader/manager’s role is finished. Throughout the book, composite case examples provide practical application of the co978-3-030-08379-3978-3-319-77137-3Series ISSN 2946-4579 Series E-ISSN 2946-4587 作者: mastopexy 時(shí)間: 2025-4-1 12:08
https://doi.org/10.1007/978-3-662-32976-4ield in the absence of matter. This equation was formulated by Einstein in 1915. A brief history of the development of Einstein’s field equation through quotes from early papers can be found in [Mi-Th-Wh] (pp. 431–434).作者: 脾氣暴躁的人 時(shí)間: 2025-4-1 14:49 作者: 開始從未 時(shí)間: 2025-4-1 20:05
Book 2016, step-by-step,readily reproducible laboratory protocols, and tips on troubleshooting andavoiding known pitfalls..Practical and thorough, .Injury Models of Central Nervous Systems: Methods and Protocols,?.is a very useful reference towards theprogress of this discipline...?.
