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 (enExample
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)
  • Devices For Executing Special Programs (AREA)
  • Machine Translation (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Document Processing Apparatus (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 (enExample) 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 (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
US7624075B2 (en) 2009-11-24
KR20090054442A (ko) 2009-05-29
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
JP2010503932A (ja) モジュール式有限状態トランスデューサの変換
CN101517531B (zh) 模块化有限状态变换机的变换
Zupan et al. Secure smart contract generation based on petri nets
Pawlak et al. Spoon: A library for implementing analyses and transformations of java source code
EP2350867B1 (en) Tree-based directed graph programming structures for a declarative programming language
US6976020B2 (en) Software composition using graph types, graph, and agents
Syme et al. Expert F♯ 3.0
US8701087B2 (en) System and method of annotating class models
JP2005018776A (ja) クエリ中間言語の方法およびシステム
Vale et al. Context-aware model driven development by parameterized transformation
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
Wagelaar et al. Platform ontologies for the model-driven architecture
Graulund et al. Adjoint Reactive GUI Programming.
Baset et al. OntoJIT: Parsing native OWL DL into executable ontologies in an object oriented paradigm
Kelly et al. Lambda calculus as a workflow model
Sun OSLN: An Object-Oriented Semantic Link Network language for complex object description and operation
Kelly Applying functional programming theory to the design of workflow engines
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
Brunetti Specl: an assertion language for service data objects
Yi et al. JCPNet tool and automated analysis of distributed systems

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