JP2010503932A - モジュール式有限状態トランスデューサの変換 - Google Patents

モジュール式有限状態トランスデューサの変換 Download PDF

Info

Publication number
JP2010503932A
JP2010503932A JP2009528502A JP2009528502A JP2010503932A JP 2010503932 A JP2010503932 A JP 2010503932A JP 2009528502 A JP2009528502 A JP 2009528502A JP 2009528502 A JP2009528502 A JP 2009528502A JP 2010503932 A JP2010503932 A JP 2010503932A
Authority
JP
Japan
Prior art keywords
data structure
tree
directed graph
transducer
information
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Withdrawn
Application number
JP2009528502A
Other languages
English (en)
Japanese (ja)
Other versions
JP2010503932A5 (https=
Inventor
イー．ルッコ スティーブン
イー．ラングワーシー デイビッド
エム．デラ−リベラ ジョバンニ
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Microsoft Corp
Original Assignee
Microsoft Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Microsoft Corp filed Critical Microsoft Corp
Publication of JP2010503932A publication Critical patent/JP2010503932A/ja
Publication of JP2010503932A5 publication Critical patent/JP2010503932A5/ja
Withdrawn legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/901—Indexing; Data structures therefor; Storage structures
    • G06F16/9027—Trees
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Physics (AREA)
  • Computer Hardware Design (AREA)
  • Machine Translation (AREA)
  • Devices For Executing Special Programs (AREA)
  • Document Processing Apparatus (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
JP2009528502A 2006-09-15 2007-09-14 モジュール式有限状態トランスデューサの変換 Withdrawn JP2010503932A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US11/532,349 US7624075B2 (en) 2006-09-15 2006-09-15 Transformation of modular finite state transducers
PCT/US2007/078522 WO2008034075A2 (en) 2006-09-15 2007-09-14 Transformation of modular finite state transducers

Publications (2)

Publication Number Publication Date
JP2010503932A true JP2010503932A (ja) 2010-02-04
JP2010503932A5 JP2010503932A5 (https=) 2010-11-04

Family

ID=39184616

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2009528502A Withdrawn JP2010503932A (ja) 2006-09-15 2007-09-14 モジュール式有限状態トランスデューサの変換

Country Status (6)

Country Link
US (1) US7624075B2 (https=)
EP (1) EP2062133A2 (https=)
JP (1) JP2010503932A (https=)
KR (1) KR20090054442A (https=)
CN (1) CN101517533A (https=)
WO (1) WO2008034075A2 (https=)

Families Citing this family (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7941417B2 (en) * 2008-01-09 2011-05-10 Cisco Technology, Inc. Processing structured electronic document streams using look-ahead automata
US8176085B2 (en) * 2008-09-30 2012-05-08 Microsoft Corporation Modular forest automata
US8983983B2 (en) 2010-02-04 2015-03-17 Network State, LLC State operating system
US20120265784A1 (en) 2011-04-15 2012-10-18 Microsoft Corporation Ordering semantic query formulation suggestions
US9455996B2 (en) * 2011-10-03 2016-09-27 New York University Generating progressively a perfect hash data structure, such as a multi-dimensional perfect hash data structure, and using the generated data structure for high-speed string matching
US9324126B2 (en) 2012-03-20 2016-04-26 Massively Parallel Technologies, Inc. Automated latency management and cross-communication exchange conversion
US9424168B2 (en) * 2012-03-20 2016-08-23 Massively Parallel Technologies, Inc. System and method for automatic generation of software test
US9977655B2 (en) 2012-03-20 2018-05-22 Massively Parallel Technologies, Inc. System and method for automatic extraction of software design from requirements
US8959494B2 (en) * 2012-03-20 2015-02-17 Massively Parallel Technologies Inc. Parallelism from functional decomposition
US8893101B2 (en) * 2012-12-21 2014-11-18 International Business Machines Corporation Hybrid dependency analysis using dynamic and static analyses
US9229688B2 (en) 2013-03-14 2016-01-05 Massively Parallel Technologies, Inc. Automated latency management and cross-communication exchange conversion
US20150169543A1 (en) * 2013-12-12 2015-06-18 Brno University of Technology Method and an apparaus for instruction set translation using finite state automata
CN104536883B (zh) * 2014-12-05 2017-06-16 北京邮电大学 一种静态缺陷检测方法及其系统
CN104572028B (zh) * 2014-12-26 2017-06-20 中国科学院自动化研究所 一种状态机等价变换的方法和装置
JP6985279B2 (ja) 2016-08-22 2021-12-22 オラクル・インターナショナル・コーポレイション パターン分解を通してデータ変換を推論するためのシステムおよび方法
CN111615673B (zh) * 2018-01-22 2023-09-29 西门子股份公司 一种用于工业控制中的技能匹配的系统
CN108804536B (zh) * 2018-05-04 2022-10-04 科沃斯商用机器人有限公司 人机对话与策略生成方法、设备、系统及存储介质
US12099635B1 (en) * 2021-12-21 2024-09-24 Meta Platforms Technologies, Llc Opaque bound variables
US12217002B2 (en) * 2022-05-11 2025-02-04 Nvidia Corporation Parallel processing of hierarchical text
US20250371098A1 (en) * 2024-05-30 2025-12-04 IP Holdings 2017 LLC Graph-based state management in client-side web applications
CN119830959B (zh) * 2025-03-14 2025-05-13 浪潮通用软件有限公司 大模型解码约束方法、设备及介质

Family Cites Families (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5806032A (en) * 1996-06-14 1998-09-08 Lucent Technologies Inc. Compilation of weighted finite-state transducers from decision trees
US6128606A (en) * 1997-03-11 2000-10-03 At&T Corporation Module for constructing trainable modular network in which each module inputs and outputs data structured as a graph
US6032111A (en) * 1997-06-23 2000-02-29 At&T Corp. Method and apparatus for compiling context-dependent rewrite rules and input strings
US6424983B1 (en) * 1998-05-26 2002-07-23 Global Information Research And Technologies, Llc Spelling and grammar checking system
US6308149B1 (en) * 1998-12-16 2001-10-23 Xerox Corporation Grouping words with equivalent substrings by automatic clustering based on suffix relationships
US7107205B2 (en) * 2000-04-03 2006-09-12 Xerox Corporation Method and apparatus for aligning ambiguity in finite state transducers
US6735592B1 (en) * 2000-11-16 2004-05-11 Discern Communications System, method, and computer program product for a network-based content exchange system
US7113903B1 (en) * 2001-01-30 2006-09-26 At&T Corp. Method and apparatus for providing stochastic finite-state machine translation
US6810146B2 (en) * 2001-06-01 2004-10-26 Eastman Kodak Company Method and system for segmenting and identifying events in images using spoken annotations
US6868383B1 (en) * 2001-07-12 2005-03-15 At&T Corp. Systems and methods for extracting meaning from multimodal inputs using finite-state devices
US7069215B1 (en) * 2001-07-12 2006-06-27 At&T Corp. Systems and methods for extracting meaning from multimodal inputs using finite-state devices
US7027988B1 (en) * 2001-07-20 2006-04-11 At&T Corp. System and method of ε removal of weighted automata and transducers
US20030065505A1 (en) * 2001-08-17 2003-04-03 At&T Corp. Systems and methods for abstracting portions of information that is represented with finite-state devices
US7181386B2 (en) * 2001-11-15 2007-02-20 At&T Corp. Systems and methods for generating weighted finite-state automata representing grammars
EP1331630A3 (en) * 2002-01-07 2006-12-20 AT&T Corp. Systems and methods for generating weighted finite-state automata representing grammars
GB0200352D0 (en) * 2002-01-09 2002-02-20 Ibm Finite state dictionary and method of production thereof
US7240004B1 (en) * 2002-03-04 2007-07-03 At&T Corp. Systems and methods for determining the determinizability of finite-state automata and transducers
WO2003105023A2 (en) * 2002-03-26 2003-12-18 University Of Southern California Statistical translation using a large monolingual corpus
US7197460B1 (en) * 2002-04-23 2007-03-27 At&T Corp. System for handling frequently asked questions in a natural language dialog service
US7225131B1 (en) * 2002-06-14 2007-05-29 At&T Corp. System and method for accessing and annotating electronic medical records using multi-modal interface
US7072880B2 (en) * 2002-08-13 2006-07-04 Xerox Corporation Information retrieval and encoding via substring-number mapping
US7542908B2 (en) * 2002-10-18 2009-06-02 Xerox Corporation System for learning a language
US7257575B1 (en) * 2002-10-24 2007-08-14 At&T Corp. Systems and methods for generating markup-language based expressions from multi-modal and unimodal inputs
US7299180B2 (en) * 2002-12-10 2007-11-20 International Business Machines Corporation Name entity extraction using language models
JP2004271764A (ja) * 2003-03-06 2004-09-30 Nagoya Industrial Science Research Inst 有限状態変換器作成装置、プログラム、記録媒体、作成方法、及び漸進的構文解析装置
US7493251B2 (en) * 2003-05-30 2009-02-17 Microsoft Corporation Using source-channel models for word segmentation
US7003740B2 (en) * 2003-07-16 2006-02-21 Microsoft Corporation Method and apparatus for minimizing weighted networks with link and node labels
US7165216B2 (en) * 2004-01-14 2007-01-16 Xerox Corporation Systems and methods for converting legacy and proprietary documents into extended mark-up language format
US20060085389A1 (en) * 2004-08-26 2006-04-20 Sensory Networks, Inc. Method for transformation of regular expressions
US7451125B2 (en) * 2004-11-08 2008-11-11 At&T Intellectual Property Ii, L.P. System and method for compiling rules created by machine learning program
US7536295B2 (en) * 2005-12-22 2009-05-19 Xerox Corporation Machine translation using non-contiguous fragments of text
US7542893B2 (en) * 2006-05-10 2009-06-02 Xerox Corporation Machine translation using elastic chunks

Also Published As

Publication number Publication date
CN101517533A (zh) 2009-08-26
WO2008034075A3 (en) 2008-05-08
WO2008034075A2 (en) 2008-03-20
KR20090054442A (ko) 2009-05-29
US7624075B2 (en) 2009-11-24
EP2062133A2 (en) 2009-05-27
US20080071801A1 (en) 2008-03-20

Similar Documents

Publication Publication Date Title
JP2010503932A (ja) モジュール式有限状態トランスデューサの変換
CN101517531B (zh) 模块化有限状态变换机的变换
Zupan et al. Secure smart contract generation based on petri nets
US6976020B2 (en) Software composition using graph types, graph, and agents
Syme et al. Expert F♯ 3.0
JP2005018776A (ja) クエリ中間言語の方法およびシステム
CN102171679A (zh) 用于声明性编程语言的基于树的有向图编程结构
KR20050000328A (ko) 쿼리 최적화기 시스템 및 방법
Jiménez-Navajas et al. KDM to UML model transformation for quantum software modernization
Pérez-Castillo et al. QRev: migrating quantum code towards hybrid information systems
Rospocher et al. PreMOn: LODifing linguistic predicate models
Syme et al. Expert F♯ 2.0
Jiménez-Navajas et al. Code generation for classical-quantum software systems modeled in UML
Graulund et al. Adjoint reactive gui programming
Baset et al. OntoJIT: Parsing native OWL DL into executable ontologies in an object oriented paradigm
Sun OSLN: An Object-Oriented Semantic Link Network language for complex object description and operation
Wöhrer et al. Modeling and optimizing large-scale data flows
Kelly Applying functional programming theory to the design of workflow engines
SCHEJTMAN Semantic ETL. An extract, transform, load pipeline implementation using semantic technologies
Lee et al. Formal models and algorithms for XML data interoperability
Albassam A Hybrid Approach for Recovering Use Case Models of MVC Web Applications
Bracker Unified notions of generalised monads and applicative functors
Pan et al. BSIS: an experiment in automating bioinformatics tasks through intelligent workflow construction
Distefano et al. A representation method for performance specifications in UML domain
Lengyel Validating and Applying Model Transformations

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20100914

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20100914

A761 Written withdrawal of application

Free format text: JAPANESE INTERMEDIATE CODE: A761

Effective date: 20121004