this paper introduces the UBI Challenge that challenged the global R & D community to design, implement, deploy and evaluate novel applications and services in real world setting atop an open urban computing testb...
详细信息
computer assisted learning on the tertiary level is discussed. the focus of the presentation is the discussion about the advantages and disadvantages of PC-assisted learning. A special part of the presentation is devo...
详细信息
computer assisted learning on the tertiary level is discussed. the focus of the presentation is the discussion about the advantages and disadvantages of PC-assisted learning. A special part of the presentation is devoted to computer assisted laboratories at the period of diploma writing. Possible hybridisation of strategies in research laboratory and reciting classes is investigated.
the proceedings contain 30 papers. the topics discussed include: retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework;incidence simplicial matrices formalized ...
ISBN:
(纸本)9783642226724
the proceedings contain 30 papers. the topics discussed include: retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework;incidence simplicial matrices formalized in Coq/SSReflect;view of computer algebra data from Coq;computer certified efficient exact reals in Coq;a foundational view on integration problems;efficient formal verification of bounds of linear programs;large formal wikis: issues and solutions;workflows for the management of change in science, technologies, engineering and mathematics;interleaving strategies;combining source, content, presentation, narration, and relational representation;indexing and searching mathematics in digital libraries: architecture, design and scalability issues;towards formal proof script refactoring;project EuDML - a first year demonstration;a symbolic companion for interactive geometric systems;and project abstract: logic atlas and integrator (LATIN).
the proceedings contain 5 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: the design of GP 2;basic completion strategies as another application of the Maud...
the proceedings contain 5 papers. the special focus in this conference is on Rewriting Techniques and Applications. the topics include: the design of GP 2;basic completion strategies as another application of the Maude strategy language;lazy AC-pattern matching for rewriting;productivity of non-orthogonal term rewrite systems and strategy independent reduction lengths in rewriting and binary arithmetic.
Agent systems have been designed and developed using recent agent technologies. However, design and debugging of these systems remain as difficult tasks of designers because agents have situational and nondeterministi...
详细信息
A control software is designed for a data management equivalent device about the calibration. As a new design method, it is to add self-calibration method to data management equivalent device of satellite, making the ...
详细信息
Regarding to automatic test for airborne Secondary Surveillance Radar (SSR) equipment,interrogation and reply from ground beacon must be simulated as the stimulation to airborne equipment for detecting the work status...
详细信息
作者:
Hammond, TracyAdler, AaronSketch Recognition Lab.
Computer Science and Engineering Department Texas A and M University 911-912A Richardson / 414C HRBB College Station TX 77840 United States BBN Technologies
10 Moulton Street Cambridge MA 02138 United States
the 2011 IUI workshop on Sketch Recognition was a daylong event held on February 13th, 2011 in Palo Alto, California. the workshop consisted of an invited talk by Dr. Sharon Oviatt, several short and long talks, a stu...
详细信息
ISBN:
(纸本)9781450304191
the 2011 IUI workshop on Sketch Recognition was a daylong event held on February 13th, 2011 in Palo Alto, California. the workshop consisted of an invited talk by Dr. Sharon Oviatt, several short and long talks, a student research poster session, and a series of discussions about pertinent topics in and about the field of sketch recognition.
According to the requirement of the fast test for Aircraft DC power supply system, the test system of aircraft DC power supply system based on LabVIEW is designed in this paper. the test system mainly consists of the ...
详细信息
Presents an electric loading system without inertia disk for actuators that adopts a torque-loading structure with disc permanent magnet synchronous torque motor, which connects directly withthe actuator under test, ...
详细信息
暂无评论