搜索结果: 1-9 共查到“计算机科学技术 Results”相关记录9条 . 查询时间(0.146 秒)
Cornell researchers have developed a fairer system for recommendations – from hotels to jobs to videos – so a few top hits don’t get all the exposure.
When looking for medical information on the internet, having the precise terminology makes the search fairly straightforward.
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Some Trade-off Results for Polynomial Calculus
Proof complexity polynomial calculus PCR resolution trade-offs size space degree pebble games
2016/1/23
We present size-space trade-offs for the polynomial calculus(PC) and polynomial calculus resolution (PCR) proof sys-tems. These are the first true size-space trade-offs in any algebraic proof system, ...
Exploiting Vestibular Output during Learning Results in Naturally Curved Reaching Trajectories
vestibular system Nico humanoid robot reaching trajectory radial basis function network degrees-of-freedom problem developmental robot
2015/7/30
Teaching a humanoid robot to reach for a visual target is a complex problem in part because of the high dimensionality of the control space. In this paper, we demonstrate a biologically plausible simp...
DESIGN AND PRACTICE ON METADATA SERVICE SYSTEM OF SURVEYING AND MAPPING RESULTS BASED ON GEONETWORK
Metadata Standards Architecture Web based Performance Distributed
2014/5/8
Based on the analysis and research on the current geographic information sharing and metadata service，we design, develop and
deploy a distributed metadata service system based on GeoNetwork covering...
A Method of Evaluating Table Segmentation Results Based on A Table Image Ground Truther
Segmentation Evaluation Edit Distance Ground Truther
2011/7/24
In this paper, we propose a novel method toevaluate table segmentation results based on a table imageground truther. In the ground-truthing process, we first extractconnected components from agi...
ISLANDIA, N.Y., February 1, 2007 — CA, Inc. (NYSE:CA), one of the world’s largest management software companies, today reported financial results for its third quarter of fiscal year 2007, ended Decem...
SOME RESULTS ON THE MODELLING OF TSS MANUFACTURING LINES
production systems self-organising systems hybrid dynamic systems convergence analysis
2000/1/13
This paper deals with the modelling of a particular class of manufacturing
lines, governed by a decentralised control strategy so that they balance themselves. Such
lines are known as “bucket brigad...