搜索结果: 1-15 共查到“知识库 计算机科学技术 Tool”相关记录18条 . 查询时间(0.298 秒)
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
Soft Scissors : An Interactive Tool for Realtime High Quality Matting
Soft Scissors High Quality Matting
2016/5/24
We present Soft Scissors, an interactive tool for extracting alpha mattes
of foreground objects in realtime. We recently proposed a novel
offline matting algorithm capable of extracting high-quality...
Eden: A Professional Multitouch Tool for Constructing Virtual Organic Environments
eden multitouch object manipulation camera control gestures, set construction
2016/5/24
Set construction is the process of selecting and positioning
virtual geometric objects to create a virtual environment
used in a computer-animated film. Set construction artists
often have a clear ...
Delta: A Tool For Representing and Comparing Workflows
Workflow comparison Tutorials Search interfaces Delta
2016/5/24
Tutorials and sample workflows for complicated, featurerich
software packages are widely available online. As a
result users must differentiate between workflows to choose
the most suitable one for...
GPCAD: A tool for CMOS op-amp synthesis
Automation components transistors operational amplifiers design variables and functions
2015/8/11
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be formulated as posynomia...
Optimization as an analysis tool for human complex decision making
mixed-integer programming nonlinear programming cognitive psychology measurement and performance
2015/7/21
We present a problem class of mixed-integer nonlinear programs (MINLPs) with nonconvex continuous relaxations which stem from economic test scenarios that are used in the analysis of human complex pro...
Does it Matter Which Citation Tool is Used to Compare the h-index of a Group of Highly Cited Researchers?
h-index Scopus Google Scholar Web of Science Nobel Prize Physics Chemistry Economic Sciences
2015/7/10
h-index retrieved by citation indexes (Scopus, Google scholar, and Web of Science) is used to measure the scientific performance and the research impact studies based on the number of publications and...
An Information Technology Tool to Support Negotiating Teams
Information Technology Tool Negotiating Teams
2009/12/9
This paper discusses computer-supported large-scale negotiation, in particular, negotiation with advisers. It is claimed that better communication within negotiating teams should lead to longer, more ...
Exploring the Types of SMEs Which Could use Blogs as a Marketing Tool: a Proposed Future Research Agenda
Marketing Branding Reputation Management
2009/12/8
Blogs appear to be gaining momentum as a marketing tool which can be used by organisations for such strategies and processes as branding, managing reputation, developing customer trust and loyalty, ni...
Information Systems as Dialectic,Tool - Mediated Activity
Information Systems Dialectic Tool Mediated Activity
2009/12/8
Information Systems (IS) draws its significance from the uniqueness of computer-based information and communications tools and their place in shaping recent human history. Advances in the field come f...
On Understanding Evaluation of Tool Support for IS Development
Tool evaluation Evaluation dimensions Socio-technical evaluation
2009/12/8
Evaluation of IS tools has received considerable attention in the literature, yet no consensus is apparent on characterising the important dimensions of an evaluation process. From an analysis of the ...
Software Engineering Practices and Tool Support: an exploratory study in New Zealand
Project management CASE tools lifecycles software engineers
2009/12/8
This study was designed as a preliminary investigation of the practices of software engineers within New Zealand, including their use of development tools. The project involved a review of relevant li...
Tool Based Psychology as a Philosophy of Technology
Activity Theory Human Computer Interaction Psychology
2009/12/7
This paper examines the influence of psychology in the area of human computer interaction and information technology in general. Cognitive psychology is critically examined and its shortcomings in gui...
Development of a Dynamic Virtual Reality Model of the Inner Ear Sensory System as a Learning and Demonstrating Tool
Dynamic Virtual Reality Model Inner Ear Sensory System Learning and Demonstrating Tool
2009/9/4
In order to keep track of the position and motion of our body in space, nature has given us a fascinating and very ingenious organ, the inner ear. Each inner ear includes five biological sensors—three...
A Labview-Based Virtual Instrument for Engineering Education: A Numerical Fourier Transform Tool
Fourier transformation FFT DFT LabView simulation
2009/7/28
Engineering is based on practice. The minima of this practice should be given during the university education. This has become more and more comprehensive and expensive parallel to high-technology dev...