KR20090054442A - 트리 데이터 구조를 모듈형 유한 상태 변환기로 변환하는 방법, 컴퓨터 판독가능 매체, 컴퓨팅 시스템, 및 변환 프레임워크 - Google Patents

트리 데이터 구조를 모듈형 유한 상태 변환기로 변환하는 방법, 컴퓨터 판독가능 매체, 컴퓨팅 시스템, 및 변환 프레임워크 Download PDF

Info

Publication number
KR20090054442A
KR20090054442A KR1020097005083A KR20097005083A KR20090054442A KR 20090054442 A KR20090054442 A KR 20090054442A KR 1020097005083 A KR1020097005083 A KR 1020097005083A KR 20097005083 A KR20097005083 A KR 20097005083A KR 20090054442 A KR20090054442 A KR 20090054442A
Authority
KR
South Korea
Prior art keywords
data structure
finite state
directed graph
tree
mfst
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
KR1020097005083A
Other languages
English (en)
Korean (ko)
Inventor
스티븐 이. 루코
데이비드 이. 랭워시
지오바니 엠. 델라-리베라
Original Assignee
마이크로소프트 코포레이션
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 마이크로소프트 코포레이션 filed Critical 마이크로소프트 코포레이션
Publication of KR20090054442A publication Critical patent/KR20090054442A/ko
Withdrawn legal-status Critical Current

Links

Images

Classifications

    • 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
    • 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
    • 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)
  • Devices For Executing Special Programs (AREA)
  • Machine Translation (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Document Processing Apparatus (AREA)
KR1020097005083A 2006-09-15 2007-09-14 트리 데이터 구조를 모듈형 유한 상태 변환기로 변환하는 방법, 컴퓨터 판독가능 매체, 컴퓨팅 시스템, 및 변환 프레임워크 Withdrawn KR20090054442A (ko)

Applications Claiming Priority (2)

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

Publications (1)

Publication Number Publication Date
KR20090054442A true KR20090054442A (ko) 2009-05-29

Family

ID=39184616

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020097005083A Withdrawn KR20090054442A (ko) 2006-09-15 2007-09-14 트리 데이터 구조를 모듈형 유한 상태 변환기로 변환하는 방법, 컴퓨터 판독가능 매체, 컴퓨팅 시스템, 및 변환 프레임워크

Country Status (6)

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

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
US8983995B2 (en) 2011-04-15 2015-03-17 Microsoft Corporation Interactive semantic query suggestion for content search
US8775393B2 (en) * 2011-10-03 2014-07-08 Polytechniq Institute of New York University Updating a perfect hash data structure, such as a multi-dimensional perfect hash data structure, used for high-speed string matching
US9977655B2 (en) 2012-03-20 2018-05-22 Massively Parallel Technologies, Inc. System and method for automatic extraction of software design from requirements
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
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
WO2014152800A1 (en) 2013-03-14 2014-09-25 Massively Parallel Technologies, Inc. Project planning and debugging from functional decomposition
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 中国科学院自动化研究所 一种状态机等价变换的方法和装置
WO2018039266A1 (en) 2016-08-22 2018-03-01 Oracle International Corporation System and method for dynamic lineage tracking, reconstruction, and lifecycle management
EP3729216B1 (en) * 2018-01-22 2024-04-24 Siemens Aktiengesellschaft Skill matching for control of an industrial production machine
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
JP2010503932A (ja) 2010-02-04
US7624075B2 (en) 2009-11-24
US20080071801A1 (en) 2008-03-20
WO2008034075A2 (en) 2008-03-20
CN101517533A (zh) 2009-08-26
EP2062133A2 (en) 2009-05-27
WO2008034075A3 (en) 2008-05-08

Similar Documents

Publication Publication Date Title
KR20090064374A (ko) 데이터 구조를 모듈형 유한 상태 변환기로 변환하는 방법, 컴퓨터 판독가능 매체, 변환 프레임워크, 및 컴파일러
KR20090054442A (ko) 트리 데이터 구조를 모듈형 유한 상태 변환기로 변환하는 방법, 컴퓨터 판독가능 매체, 컴퓨팅 시스템, 및 변환 프레임워크
Bechhofer et al. Cooking the Semantic Web with the OWL API
Inverardi et al. Static checking of system behaviors using derived component assumptions
Nentwich et al. Flexible consistency checking
CN102171679B (zh) 用于声明性编程语言的基于树的有向图编程结构
Verborgh et al. Survey of semantic description of REST APIs
Syme et al. Expert F♯ 3.0
EP1492034A2 (en) Query optimizer system and method
US8701087B2 (en) System and method of annotating class models
Zolotas et al. From requirements to source code: a Model-Driven Engineering approach for RESTful web services
Shani et al. Engaging ontologies to break MBSE tools boundaries through semantic mediation
Rospocher et al. PreMOn: LODifing linguistic predicate models
Syme et al. Expert F♯ 2.0
Arocena WebOQL: Exploiting document structure in web queries
Youn et al. Survey about ontology development tools for ontology-based knowledge management
De Bruijn et al. Semantic information integration in the cog project
Nurminen Unification of form validation implementations in web clients and servers
Yaikhom et al. Validation and mismatch repair of workflows through typed data streams
SCHEJTMAN Semantic ETL. An extract, transform, load pipeline implementation using semantic technologies
Wang et al. Transitioning applications to semantic web services: An automated formal approach
Nentwich Managing the consistency of distributed documents
Orumbayev Decentralized Web-based Data Storage for LinkedPipes Applications using Solid
Brunetti Specl: an assertion language for service data objects
Ellqvist Supporting Scientific Collaboration through Workflows and Provenance

Legal Events

Date Code Title Description
PA0105 International application

Patent event date: 20090311

Patent event code: PA01051R01D

Comment text: International Patent Application

PG1501 Laying open of application
PC1203 Withdrawal of no request for examination
WITN Application deemed withdrawn, e.g. because no request for examination was filed or no examination fee was paid