Product
Patsnap Eureka
For R&D, Patsnap Eureka makes reading and utilizing patents & technical documents easy.
Patsnap Eureka AIR
Designed for self-driven R&D workflows. Generate viable solutions, solve complex R&D challenges, empower your innovation with AI.
Patsnap Eureka Materials
Designed for material experts only. Revolutionize your material R&D, from search, analyze, to developing new materials.
Feature
TechResearch
Generate reliable direction feasibility study reports for your R&D in just a few steps.
TechSeek
Discover and master advanced knowledge NOW. Basics, ideas, possibilities, all at once.
TechMind
As an expert in R&D Theories, TechMind can generates customized viable solutions instantly.
TechRisk
Analyze your overall solution with one click, know your potential R&D risks in advance.
TechMonitor
Get weekly tech updates, stay abreast of the latest tech innovations and key insights.
Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
87 results about "Symbolic notation" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
Symbolic Notation. Symbolic notation is used to change the permissions of files and directories relative to their current permissions. This tool can be used to explore how symbolic notations work. To use this tool set the current octal value of your file permissions and then select from the checkboxes below to create the target permissions for your file(s).
Method for disambiguating multiple readings in language conversion
ActiveUS20130041647A1Natural language translationSpecial data processing applicationsAlgorithmAmbiguity
Disambiguating multiple readings in language conversion is disclosed, including: receiving an input data to be converted into a set of characters comprising a symbolic representation of the input data in a target symbolic system; and using a language model that distinguishes between a first reading and a second reading of a character of the target symbolic system to determine a probability that the heteronymous character should be used to represent a corresponding portion of the input data.
Owner:APPLE INC
Editor visualization of symbolic relationships
ActiveUS20120311533A1Enhancing dynamic codeEasy constructionIntelligent editorsSpecific program execution arrangementsArray data structureTheoretical computer science
Enhancing dynamic code. A method includes obtaining one or more first data structures defining constructs in a body of dynamic language source code. From the one or more first data structures, identifier information is extracted for one or more of the defined constructs. Knowledge about the constructs is augmented. Using the identifier information and augmented knowledge, metadata about the body of the dynamic language source code is generated. The generated metadata is represented as a symbol table. The body of dynamic language source code is visually enhanced based on the symbol table structure.
Owner:MICROSOFT TECH LICENSING LLC
Implementing symbolic word and synonym English language sentence processing on computers to improve user automation
ActiveUS8510328B1Reduce stepsPossible to selectDigital data information retrievalDigital data processing detailsComputer resourcesSentence processing
A software system that automates the use of computing systems by storing English language sentences using synonyms and symbol words to allow user access to computer resources without having to know the technical details or the specifics associated with a body of knowledge. Synonym sentences allow users to get to computer resources using different words stored in different sentences that open the same computer resource (i.e.: a document) to significantly improve a first time request for information. Sentences learned (stored) in text or SQL databases or used in a software agent sentence or search engine sentence are automatically parsed and directed to the appropriate knowledge repository to automated computer processes or to get user information without having to know any technical details required to navigate through computer systems or computer data. Multiple words or sentences can be linked together with computer resources to further automate job tasks.
Owner:HATTON CHARLES MALCOLM
Converting data into addresses
ActiveUS8499099B1Digital data information retrievalMultiple digital computer combinationsUniform resource locatorData conversion
According to one aspect of the present disclosure, a system for converting data into a shortened Uniform Resource Locator (URL) address is described. The system includes a memory for storing instructions to convert data, and a processor. The processor is configured to execute the instructions to receive the data, convert the data into a first sequence of symbols, and divide the first sequence of symbols into second sequences of symbols. The processor is also configured to execute the instructions to include, in each of a plurality of first addresses, a respective one of the second sequences of symbols, and associate each of the first addresses with a corresponding shortened address. The processor is further configured to execute the instructions to combine a portion of each shortened address into an index address, and associate the index address with a shortened index address. Methods and machine-readable storage media are also described.
Owner:GOOGLE LLC
Apparatus and method of teaching musical notation
ActiveUS20140305284A1More representationLearn to play a keyboard musical instrument more rapidlyMusicSymbolic SystemsInstrument control
An apparatus is provided which employs a system of musical notation which represents musical notes in a form of numbers, 1 to 7. The note numbers are defined to be mutually relative and are independent of any particular musical pitch or musical key. Optionally, a plurality of colors is used to identify specific chord and note numbers. Optionally, musical chord patterns are identified by numbers. Optionally, musical chord patterns are identified by colors. Optionally, key numbers are shown beneath corresponding lyric text, to provide an indication of rhythm pertaining to a musical piece defined in the system of musical notation. Optionally, note numbers are arranged on at least one horizontal line when presented for musical performance. The apparatus, and method employed in association therewith, are capable of expediting students when learning to play an instrument controlled via a keyboard, thereby improving student musical enjoyment and improvement in musical performance skill.
Owner:COSGROVE PETER DECLAN
A knowledge map representation learning method based on structure information and text description
A knowledge map representation learning method based on structure information and text description aims at mapping entities and relationships in a triple into a low-dimensional continuous real value space. The invention aims at improving vector representation of entities in knowledge representation; The corresponding text description information of the entity is obtained from the existing knowledge base Freebase, Word2vec is used to represent each description with a word vector, Then, the description vector is represented by word addition and mean vector, and the description vector is represented by doc2vec sentence vector. Then, the word vector is used as the input of CNN text encoder to obtain the description text-based representation vector of each entity. In the joint representation, weights are used to evaluate the symbol-based representation vectors in the knowledge base, and the effects of the representation vectors based on network structure and description text on the final representation vectors of entities are analyzed, so as to achieve the fusion of structure information and text information, and improve the accuracy of knowledge map representation.
Owner:CHINA UNIV OF GEOSCIENCES (WUHAN)
Recognizing handwritten words
Recognition of handwritten words by an electronic device is described. A plurality of strokes are received at a common input region of the device. The strokes define a word comprising a plurality of symbols; a relative geometry of a first subset of the strokes defines a first symbol and a relative geometry of a second subset of the strokes defines a second symbol. The relative geometry of the first subset is not related to the relative geometry of the second subset. At least one stroke of the first subset is spatially superimposed over at least one stroke of the second subset. A processor determines the word based on the strokes without requiring recognition of the symbols. A word is determined at least in part on an entry sequence of subsets of the plurality of strokes.
Owner:SYNAPTICS INC
Interactive music notation layout and editing system
ActiveUS20110167988A1Less limitationImprove software qualityElectrophonic musical instrumentsMusicComputer scienceSymbolic notation
A system and method for positioning, on an electronic display, an additional musical symbol based on the location of one or more existing musical symbols can include determining one or more positional constraints on the additional musical symbol. The one or more positional constraints can include one or more preferred quantities. Each of the one or more positional constraints can be automatically defined as being either a time-based positional constraint or a space-based positional constraint. The additional symbol can be positioned in a measure of a staff at a distance away from one of the one or more existing musical symbols. The distance can be at least in part determined by at least one of the one or more preferred quantities.
Owner:NOTEFLIGHT
Method for binary code vulnerability discovery on basis of simple symbolic execution
The invention discloses a method for binary code vulnerability discovery on the basis of simple symbolic execution. The method comprises five steps that: firstly, binary codes are translated into an intermediate language with a static single assignment through a binary code translation component; and then, a disassembling engine is used to disassemble the binary codes, the control flow information of the binary codes is extracted, static symbolic execution is carried out in the intermediate language on the basis of the control flow information, an entrance point needs to be determined during the symbolic execution process, an input vector is converted into a symbol, and a called function is modeled. After the symbolic execution process is completed, the statement assembly of the intermediate language which depends on the input vector can be obtained, the statements of an assembly are simplified, and a vulnerability discovery confirmation report is generated after security attribute rules are used to confirm.
Owner:BEIHANG UNIV
Statically derived symbolic references for dynamic languages
ActiveUS20120311536A1Easy constructionWell formedReverse engineeringSpecific program execution arrangementsArray data structureSource code
Creating metadata for dynamic code in a descriptive metadata language. The method includes obtaining one or more first data structures defining constructs in a body of dynamic language source code. From the one or more first data structures, identifier information is extracted for one or more of the defined constructs. Knowledge about the constructs is augmented. Metadata about the body of the dynamic language source code is provided, with the source code, in a specific metadata format, to a user.
Owner:MICROSOFT TECH LICENSING LLC
Symbolic renaming optimization of a trace
Owner:SUN MICROSYSTEMS INC
Statically derived symbolic references for dynamic languages
ActiveUS8789018B2Reverse engineeringSpecific program execution arrangementsArray data structureSource code
Owner:MICROSOFT TECH LICENSING LLC
Java bytecode debugger and debugging method
ActiveCN106201893AImprove debugging efficiencyRealize the debugging functionSoftware testing/debuggingData informationJava bytecode
Owner:HENGBAO
Command line interface robustness testing
InactiveUS20120246621A1Error detection/correctionSpecific program execution arrangementsProgramming languageCommand-line interface
One embodiment of the present invention sets forth a method for generating one or more tests for testing a command provided by a command line interface. The command is specified in a pre-determined meta-language. The meta-language is then converted in the tokenized post-fix notation, which is processed to generate a direct acyclic graph (DAG) that represents the different permutations of the command. By traversing the DAG from a root node to a leaf node, a test can be generated. The test is then executed within the command line interface, and the result analyzed to determine whether the command line interface is operating correctly.
Owner:CISCO TECH INC
Virtual symbols-based keyboard
InactiveUS20120056816A1Input/output for user-computer interactionCathode-ray tube indicatorsGraphicsMobile device
A system for allowing a user to input text related data using a mobile device having an input and presentation unit. The system includes a virtual symbols keyboard, which includes virtual keys, each indicative of a graphical symbol, each graphically represents at least a part of a character, where the virtual symbols keyboard is configured to allow a user to input each character by touching a designated intermediate area between adjacent keys or by directly touching a virtual key using a single touch for inputting each character; and a processing module, which enables identifying a touch event over the virtual symbols keyboard, occurring over each virtual key and / or over each intermediate area and associating each touch event with a respective associated character according to the identified touch area. The processing module further allows presenting each identified associated character over the input and presentation unit.
Owner:ETTINGER AVI
Multilingual mixed-language text character-pronunciation conversion method and system
The invention discloses a multilingual mixed-language text character-pronunciation conversion method and a multilingual mixed-language text character-pronunciation conversion system. The multilingual mixed-language text character-pronunciation conversion method comprises the steps of: receiving multilingual mixed-language text to be processed; determining primary language text and secondary language text in the multilingual mixed-language text; adopting unified pronunciation symbols for carrying out character-pronunciation conversion on the primary language text and the secondary language text in the multilingual mixed-language text, so as to obtain a primary language text phonetic symbol sequence and a secondary language text phonetic symbol sequence; correcting rhythm of the secondary language text phonetic symbol sequence; and connecting the primary language text phonetic symbol sequence with the corrected secondary language text phonetic symbol sequence to obtain a mixed-language text phonetic symbol sequence. By adopting the multilingual mixed-language text character-pronunciation conversion method and the multilingual mixed-language text character-pronunciation conversion system, the rhythmical sense at the joint of the primary language text phonetic symbol sequence and the secondary language text phonetic symbol sequence can be smoother.
Owner:ANHUI IFLYTEK INTELLIGENT SYST
Virtual keyboard design scheme for inputting Chinese characters by brain waves
InactiveCN102339128AReduce the number of selectionsImprove accuracyInput/output for user-computer interactionGraph readingChinese charactersPhysical medicine and rehabilitation
The invention relates to a virtual keyboard design scheme for inputting Chinese characters by brain waves. In the scheme, a virtual keyboard consisting of 42 buttons (six rows * seven columns) is constructed on a computer screen; the upper half part of each key of the keyboard is marked with a character representing a name of the key; the lower half part of each key is provided with a small window with a pixel of 30*30, which is used for carrying out visual stimulation; first to fourth rows of buttons are marked with initial consonants and vowels in a binary syllabification input method; first five number keys in a fifth row represent positions of candidate Chinese characters; the back and forth page turning of candidate characters / words is realized by key names of '->' and '-<'; and a sixth row of buttons has the main function of realizing selection of the first to fifth rows of buttons. In the using process of a user, the selection of each binary syllabification character needs to be completed by two steps, i.e. a first step of selecting a certain button on the sixth row so as to select the row in which the binary syllabification character is positioned and a second step of selecting the binary syllabification character in the selected row and repeating.
Owner:SOUTH CENTRAL UNIVERSITY FOR NATIONALITIES
Watermarking electronic text documents
ActiveUS8014557B2Limited accessUser identity/authority verificationCharacter and pattern recognitionCarrier signalDocumentation
Owner:DIGIMARC CORP
Symbolic priors for recurrent neural network based semantic parsing
ActiveUS20180349767A1Easy to understandMathematical modelsSemantic analysisData modelingLogical form
Methods, systems, and devices for semantic parsing. In an example embodiment, a method for semantic parsing can include steps, operations, or instructions such as obtaining a data pair for learning, the data pair comprising logical form data and natural utterance data; acquiring grammar for targeted logical forms among the logical form data of the data pair; modeling data comprising other available prior knowledge utilizing WFSA (Weighted Finite State Automata); combining with the targeted logical forms with the data modeled comprising the other available prior knowledge to form a background; and exploiting the background on the data pair. Note that we do not “learn” the background, but “learn” the background-RNN (Recurrent Neural Network).
Owner:XEROX CORP
Virtual symbols-based keyboard
InactiveUS8896543B2Input/output for user-computer interactionCathode-ray tube indicatorsGraphicsMobile device
Owner:ETTINGER AVI
Musical notation system for piano
A new method of written music using a color coded keyboard to show the player which octave on the keyboard to use, which note in the octave to play and the finger of the hand used to play the note. The phrasing of the melody and chord progressions are indicated by the spacing of the notes in the tablature.
Owner:CAMPBELL SEAN
Inserting a graphical symbol into a print stream for a document file that does not include the graphical symbol
ActiveUS20190045077A1Efficient managementSpecial data processing applicationsInput/output processes for data processingGraphicsDocumentation
A printed document manager manages printed documents and is separate from Document Management Systems (DMSs) that manage electronic soft copy documents. One or more DMSs are registered with a postmark server. A client computing device executes a postmark client, detects a print event for a specified document, and queries a postmark server to determine whether the print event for the specified document should include a graphical postmark. In response, the postmark server queries one or more of the registered DMSs to determine whether the specified document matches a document in any of the repositories of the registered DMS(s). When the specified document to be printed matches a document in a registered DMS, the postmark server authorizes the postmark client to add the graphical postmark in a print stream corresponding to the print event for the specified document.
Owner:DOCSOLID
Method of and apparatus for combining artificial intelligence (AI) concepts with event-driven security architectures and ideas
Owner:DELFIGO CORP
Convert significand of decimal floating point data from packed decimal format
A decimal floating point finite number in a decimal floating point format is composed from the number in a different format. A decimal floating point format includes fields to hold information relating to the sign, exponent and significand of the decimal floating point finite number. Other decimal floating point data, including infinities and NaNs (not a number), are also composed. Decimal floating point data are also decomposed from the decimal floating point format to a different format. For composition and decomposition, one or more instructions may be employed, including one or more convert instructions.
Owner:INT BUSINESS MASCH CORP
Undo/redo in javascript object notation
The method includes modifying a Javascript object notation structure to include a tag on at least one object and a tag on at least one array containing a first version of the Javascript object notation structure. The method includes in response to identifying a changed second version of the Javascript object notation structure, adjusting the tag on the at least one object and the tag on the at least one array to include the second version of the Javascript object notation structure. The method includes adjusting the displayed first version of the Javascript object notation structure with the second version of the Javascript object notation structure. The method includes in response to receiving data indicating an undo / redo action, adjusting the displayed second version of the Javascript object notation structure to the first version of the Javascript object notation structure.
Owner:IBM CORP
Symbolic switch/linear circuit simulator systems and methods
InactiveUS8219374B1Sharpen critical thinkingDigital data processing detailsAnalogue computers for electric apparatusGraphicsReal-time web
Interactive and real time web-based electrical circuit symbolic solvers and simulators. The invention includes an interactive and innovative graphical user interface (GUI) for creating circuit schematics and generating netlists, circuits symbolic solving and instant simulated solutions, their systems and methods. Users such as students can use GUI interfaces to remotely access a remote server controlled by educational institutions such as universities, or electronic book publishers, in order to draw, symbolically solve, and instantly simulate electrical circuits.
Owner:UNIV OF CENT FLORIDA RES FOUND INC
Method for mapping logical device name to drive letter
The invention discloses a method for mapping a logical device name to a drive letter, and mainly relates to the field of progress safety protection and file screening. The method comprises the following steps of: adopting symbolic link names as parameters, using a function, i.e. Initialize Object attributes, to carry out initialization to obtain OBJECT_ATTRIBUTES corresponding to the symbolic link names, and extracting the corresponding drive letter from the symbolic link names; using a function, i.e. Zw Open Symbolic Link Object, to adopt the OBJECT_ATTRIBUTES as parameters, to obtain a handle of the corresponding object; and inquiring the handle by using a function, i.e. Zw Query Symbolic Link Object, so as to obtain the logical device name corresponding to the symbolic link name, and preserving the corresponding relation between the logical device name and the drive letter. The method establishes the corresponding relation between the logical device name and the drive letter, thus being convenient for users.
Owner:北京思创银联科技股份有限公司
Musical notation fingering rapid annotation method and system
The invention relates to a musical notation fingering rapid annotation method and system. The musical notation fingering rapid annotation method comprises the following steps: S1: converting music score information to be played into music score data of a MusicXML format; S2: parsing the music score MusicXML data to generate the fingering annotation position of each note, wherein the fingering annotation positions are positioned above note heads, and are not coincided with a musical notation; S3: generating a fingering position sequence of all notes of each voice part; and S4: inputting fingering annotation symbols corresponding to the nodes into corresponding fingering position sequences, and displaying the fingering annotation symbols at the fingering annotation positions. The musical notation fingering rapid annotation method and system have the advantages of accurate annotation positions, high annotation efficiency, high speed, easiness in modification and the like, are suitable fordifferent playing ways, and have a wide application prospect.
Owner:玖月音乐科技(北京)有限公司
Who we serve
- R&D Engineer
- R&D Manager
- IP Professional
Why Patsnap Eureka
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com