Results 51 to 60 of about 1,081,314 (373)
Mask-Refined R-CNN: A Network for Refining Object Details in Instance Segmentation
Italian National Conference on Sensors, 2020 With the rapid development of flexible vision sensors and visual sensor networks, computer vision tasks, such as object detection and tracking, are entering a new phase.
Yiqing Zhang, Jun Chu, L. Leng, Jun Miao
semanticscholar +1 more source
The ROS wheel: refining ROS transcriptional footprints [PDF]
, 2016 In the last decade, microarray studies have delivered extensive inventories of transcriptome-wide changes in messenger RNA levels provoked by various types of oxidative stress in Arabidopsis (Arabidopsis thaliana).
Gevaert, Kris +7 more
core +3 more sources
Refining Exoplanet Ephemerides and Transit Observing Strategies [PDF]
, 2009 Transiting planet discoveries have yielded a plethora of information regarding the internal structure and atmospheres of extra-solar planets. These discoveries have been restricted to the low-periastron distance regime due to the bias inherent in the ...
Ciardi, David R. +4 more
core +2 more sources
Specifying and Refining Internal Operations in Z [PDF]
, 1998 An important aspect in the specification of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the interface to the environment (i.e.
Boiten, Eerke Albert +3 more
core +3 more sources
Relational Concurrent Refinement: Timed Refinement [PDF]
, 2011 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data refinements, which can be checked on an event-by-event basis rather than per trace.
Eerke Albert Boiten, John Derrick
openaire +2 more sources
Mathematical Research Letters, 2015 Categorical resolution of singularities has been constructed in arXiv:1212.6170. It proceeds by alternating two steps of seemingly different nature. We show how to use the formalism of filtered derived categories to combine the two steps into one.
A. Kuznetsov, D. Kaledin
openaire +3 more sources
Refining Lagrange's four-square theorem
, 2017 Lagrange's four-square theorem asserts that any $n\in\mathbb N=\{0,1,2,\ldots\}$ can be written as the sum of four squares. This can be further refined in various ways. We show that any $n\in\mathbb N$ can be written as $x^2+y^2+z^2+w^2$ with $x,y,z,w\in\
Sun, Zhi-Wei
core +1 more source
Refining Nodes and Edges of State Machines [PDF]
, 2011 State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement.
A. Kaldewaij +13 more
core +1 more source
Refining network intents for self-driving networks [PDF]
CCRV, 2019 Recent advances in artificial intelligence (AI) offer an opportunity for the adoption of self-driving networks. However, network operators or home-network users still do not have the right tools to exploit these new advancements in AI, since they have to
A. Jacobs +3 more
semanticscholar +1 more source
IEEE Transactions on Information TheoryWe show that for a wide range of channels and code ensembles with pairwise-independent codewords, with probability tending to 1 with the code length, expurgating an arbitrarily small fraction of codewords from a randomly selected code results in a code attaining the expurgated exponent.
Cocco, Giuseppe +2 more
openaire +4 more sources