专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US07574465B2 Displaying variables stored in calculators 有权
标题翻译：显示存储在计算器中的变量
公开(公告)号：US07574465B2
公开(公告)日：2009-08-11
申请号：US11171150
申请日：2005-06-29
申请人： Jinsong Yu , William Ben Kunz , Robert Scott Dietz , Luke Kelly
发明人： Jinsong Yu , William Ben Kunz , Robert Scott Dietz , Luke Kelly
IPC分类号： G06F3/02
CPC分类号： G06F17/10
摘要： A centralized view and management of stored variables for calculators and pieces of software emulating calculators is provided. Users can glance at the status bar and know what variables are stored. A single click then brings up a window within which a list of the stored variables and their values is shown. In this window users can clear individual variables or the entire variable list. Users can be reminded that their calculations contain stored variables by displaying the stored variable names in one or more different colors so that errors can be easily detected and corrected.
摘要翻译：提供了用于计算器和仿真计算器软件的存储变量的集中视图和管理。用户可以浏览状态栏并知道存储哪些变量。单击然后打开一个窗口，在该窗口中显示存储的变量及其值的列表。在此窗口中，用户可以清除单个变量或整个变量列表。通过以一种或多种不同的颜色显示存储的变量名称，可以提醒用户可以计算其存储的变量，以便容易地检测和更正错误。

2. 发明申请

US20090017427A1 Intelligent Math Problem Generation 审中-公开
标题翻译：智能数学问题生成
公开(公告)号：US20090017427A1
公开(公告)日：2009-01-15
申请号：US11776564
申请日：2007-07-12
申请人： William B. Kunz , Timothy J. Hoffman , Luke Kelly , Jinsong Yu , Larry J. Israel
发明人： William B. Kunz , Timothy J. Hoffman , Luke Kelly , Jinsong Yu , Larry J. Israel
IPC分类号： G09B19/02
CPC分类号： G09B7/00 , G09B19/025
摘要： A problem generator that takes an input as a math problem, analyzes the math problem, and intelligently spawns similar example problem types. The output is a set of math problems based on the conditions set during analysis and customization. For example, if the original problem deals with linear equations, this will be detected during analysis and used to spawn other linear equations as problems. Moreover, if the answer to the original problem is in integer format, so will the answers to the spawned problems. A customizable UI is designed to allow further customization of problem conditions to generate an accurate set of problems based on the initial input. Problem generator templates can be created, shared and modified for distribution and/or future use. Additionally, problem generation APIs can be extended for external code to automate and consume generated math problems.
摘要翻译：将输入作为数学问题的问题生成器，分析数学问题，并智能地生成类似的示例问题类型。输出是基于分析和定制期间设置的条件的一组数学问题。例如，如果原始问题涉及线性方程，则在分析过程中会检测到这一点，并将其用作产生其他线性方程作为问题。此外，如果原始问题的答案是整数格式，那么对于产生的问题的答案也是如此。可定制的UI被设计为允许进一步定制问题条件以基于初始输入生成准确的问题集。可以创建，共享和修改问题生成器模板，以便分发和/或将来使用。此外，问题生成API可以扩展为外部代码，以自动化并消耗生成的数学问题。

3. 发明申请

US20090018979A1 MATH PROBLEM CHECKER 失效
标题翻译：数学问题检查
公开(公告)号：US20090018979A1
公开(公告)日：2009-01-15
申请号：US11776565
申请日：2007-07-12
申请人： Jinsong Yu , Seth R. Atkinson , Luke Kelly , William B. Kunz , Larry J. Israel , Xin Li
发明人： Jinsong Yu , Seth R. Atkinson , Luke Kelly , William B. Kunz , Larry J. Israel , Xin Li
IPC分类号： G06F15/18 , G06F3/048 , G09B23/02
CPC分类号： G09B7/02 , G09B19/025
摘要： A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.
摘要翻译：一种在问题解决过程中监视用户进度的问题检查器体系结构，并且通过使用常见的解决问题的人的方法来帮助用户完成该过程（例如，当被请求时）。援助可以是在过程中检测错误的形式，并且在用户被卡住或犯错误时提供上下文相关的帮助信息。问题检查器可以使用户逐步解决数学问题的过程，一次允许用户根据多种不同的方法学习解决数学问题。问题检查器不是简单地计算和显示答案，而是允许用户尝试解决数学问题，仅在需要时询问和更正方面提供方向。问题检查器可以识别许多常见数学问题的多种解决方法，并通过任何方法指导用户解决方案。

4. 发明授权

US08073258B2 Using handwriting recognition in computer algebra 有权
标题翻译：在计算机代数中使用手写识别
公开(公告)号：US08073258B2
公开(公告)日：2011-12-06
申请号：US11843645
申请日：2007-08-22
申请人： Jinsong Yu , Seth Atkinson , Xin Li , Luke Kelly , Larry Israel
发明人： Jinsong Yu , Seth Atkinson , Xin Li , Luke Kelly , Larry Israel
IPC分类号： G06K9/00
CPC分类号： G06K9/00436
摘要： Systems and methods for use in handwriting recognition in computer algebra are provided. One disclosed method includes receiving handwriting input from a user via a handwriting input device, the handwriting input representing a mathematical expression. The method further includes, at a recognizer, processing the handwriting input to recognize a plurality of candidates and ranking the plurality of candidates to form initial candidate data. The method may further include, at an application program, scanning the plurality of candidates for segments that match application-level criteria, and adjusting a rank of one or more of the plurality of candidates based on the matching, to form a processed candidate list. The method may further include displaying the processed candidate list via a graphical user interface.
摘要翻译：提供了在计算机代数中用于手写识别的系统和方法。一种公开的方法包括经由手写输入装置接收来自用户的手写输入，所述手写输入表示数学表达式。该方法还包括在识别器处理手写输入以识别多个候选并对多个候选进行排序以形成初始候选数据。该方法还可以包括：在应用程序中，扫描与候选标准匹配的段的多个候选者，以及基于匹配来调整多个候选中的一个或多个的等级，以形成处理的候选列表。该方法还可以包括经由图形用户界面显示所处理的候选列表。

5. 发明授权

US07752148B2 Math problem checker 失效
标题翻译：数学问题检查器
公开(公告)号：US07752148B2
公开(公告)日：2010-07-06
申请号：US11776565
申请日：2007-07-12
申请人： Jinsong Yu , Seth R. Atkinson , Luke Kelly , William B. Kunz , Larry J. Israel , Xin Li
发明人： Jinsong Yu , Seth R. Atkinson , Luke Kelly , William B. Kunz , Larry J. Israel , Xin Li
IPC分类号： G06F15/18 , G06F3/048 , G09B23/02
CPC分类号： G09B7/02 , G09B19/025
摘要： A problem checker architecture that monitors user progress during a problem-solving process and assists the user through the process (e.g., when requested) using common human methods of solving the problem. Assistance can be in the form of detecting errors during the process, and providing context-sensitive help information when the user gets stuck or makes a mistake. The problem checker can walk the user through the process of solving a math problem one step at a time allowing the user to learn to solve math problems according to a number of different methods. Rather than simply calculating and displaying the answer, the problem checker allows the user to attempt to solve math problems, providing direction only when asked and correction only when required. The problem checker can recognize multiple solution methods for many common math problems and guide the user to the solution via any of the methods.
摘要翻译：一种在问题解决过程中监视用户进度的问题检查器体系结构，并且通过使用常见的解决问题的人的方法来帮助用户完成该过程（例如，当被请求时）。援助可以是在过程中检测错误的形式，并且在用户被卡住或犯错误时提供上下文相关的帮助信息。问题检查器可以使用户逐步解决数学问题的过程，一次允许用户根据多种不同的方法学习解决数学问题。问题检查器不是简单地计算和显示答案，而是允许用户尝试解决数学问题，仅在需要时询问和更正方面提供方向。问题检查器可以识别许多常见数学问题的多种解决方法，并通过任何方法指导用户解决方案。

6. 发明授权

US08078953B2 Math calculation in word processors 有权
标题翻译：字处理器中的数学计算
公开(公告)号：US08078953B2
公开(公告)日：2011-12-13
申请号：US11776566
申请日：2007-07-12
申请人： William B Kunz , Xin Li , Luke Kelly , Jinsong Yu , Seth R Atkinson , Murray Sargent
发明人： William B Kunz , Xin Li , Luke Kelly , Jinsong Yu , Seth R Atkinson , Murray Sargent
IPC分类号： G06F17/00
CPC分类号： G06F17/215
摘要： Architecture for a word processing application that facilitates operating on mathematical symbols, expressions, and/or equations input to a word processing document, and returning results back to the document. User input to the document in the form of math symbols, expressions or equations is transformed into a format for processing by a math engine. The engine returns one or more operations to the user that can be performed on the input, including calculating mathematical solutions, graphing equations and viewing steps to solving math problems. A user interface allows the user choose from the possible operations and to interactively manipulate input and graphs in the word application. The results can be inserted directly into the document and also be graded automatically.
摘要翻译：用于文字处理应用程序的体系结构，便于操作输入到文字处理文档的数学符号，表达式和/或方程，并将结果返回到文档。以数学符号，表达式或方程式的形式将文档的用户输入转换为数学引擎处理的格式。引擎可以向可以对输入执行的用户返回一个或多个操作，包括计算数学解，绘图方程和查看步骤来解决数学问题。用户界面允许用户从可能的操作中进行选择并交互地操纵单词应用程序中的输入和图形。结果可以直接插入到文档中，也可以自动分级。

7. 发明授权

US07920142B2 Identifying asymptotes in approximated curves and surfaces 失效
标题翻译：在近似曲线和曲面中识别渐近线
公开(公告)号：US07920142B2
公开(公告)日：2011-04-05
申请号：US11782661
申请日：2007-07-25
申请人： Luke Kelly , Jinsong Yu
发明人： Luke Kelly , Jinsong Yu
IPC分类号： G06T11/20 , G09G5/00
CPC分类号： G06T11/203
摘要： Systems and methods for identifying asymptotes in approximated geometric forms are provided. One disclosed method includes identifying a set of data points that represent an approximated geometric form. The data points may be organized into segments. The method may further include determining a visible range of the geometric form to display. The method may further include looping through successive segments of the approximated geometric form, and on each loop, for a current segment, making a decision whether to draw the current segment based upon a prediction of whether the current segment traverses an asymptote within the visible range. The method may further include displaying on a graphical user interface of a computing device, a graph of the segments of the geometric form in the visible range, the graph not including those segments that were decided not be drawn.
摘要翻译：提供了以近似几何形式识别渐近线的系统和方法。一种公开的方法包括识别表示近似几何形式的一组数据点。数据点可以被组织成段。该方法还可以包括确定要显示的几何形状的可见范围。该方法还可以包括循环通过近似几何形式的连续段，并且在每个循环上循环当前段，基于对当前段是否穿过可见范围内的渐近线进行预测是否绘制当前段。该方法还可以包括在计算设备的图形用户界面上显示几何形式在可见范围内的片段的图形，该图形不包括被决定为不绘制的片段。

8. 发明申请

US20090052777A1 USING HANDWRITING RECOGNITION IN COMPUTER ALGEBRA 有权
标题翻译：在计算机代码中使用手写识别
公开(公告)号：US20090052777A1
公开(公告)日：2009-02-26
申请号：US11843645
申请日：2007-08-22
申请人： Jinsong Yu , Seth Atkinson , Xin Li , Luke Kelly , Larry Israel
发明人： Jinsong Yu , Seth Atkinson , Xin Li , Luke Kelly , Larry Israel
IPC分类号： G06K9/00
CPC分类号： G06K9/00436
摘要： Systems and methods for use in handwriting recognition in computer algebra are provided. One disclosed method includes receiving handwriting input from a user via a handwriting input device, the handwriting input representing a mathematical expression. The method further includes, at a recognizer, processing the handwriting input to recognize a plurality of candidates and ranking the plurality of candidates to form initial candidate data. The method may further include, at an application program, scanning the plurality of candidates for segments that match application-level criteria, and adjusting a rank of one or more of the plurality of candidates based on the matching, to form a processed candidate list. The method may further include displaying the processed candidate list via a graphical user interface.
摘要翻译：提供了在计算机代数中用于手写识别的系统和方法。一种公开的方法包括经由手写输入装置接收来自用户的手写输入，所述手写输入表示数学表达式。该方法还包括在识别器处理手写输入以识别多个候选并对多个候选进行排序以形成初始候选数据。该方法还可以包括：在应用程序中，扫描与候选标准匹配的段的多个候选者，以及基于匹配来调整多个候选中的一个或多个的等级，以形成处理的候选列表。该方法还可以包括经由图形用户界面显示所处理的候选列表。

9. 发明申请

US20060235912A1 Displaying variables stored in calculators 有权
公开(公告)号：US20060235912A1
公开(公告)日：2006-10-19
申请号：US11171150
申请日：2005-06-29
申请人： Jinsong Yu , William Kunz , Robert Dietz , Luke Kelly
发明人： Jinsong Yu , William Kunz , Robert Dietz , Luke Kelly
IPC分类号： G06F15/00
CPC分类号： G06F17/10
摘要： A centralized view and management of stored variables for calculators and pieces of software emulating calculators is provided. Users can glance at the status bar and know what variables are stored. A single click then brings up a window within which a list of the stored variables and their values is shown. In this window users can clear individual variables or the entire variable list. Users can be reminded that their calculations contain stored variables by displaying the stored variable names in one or more different colors so that errors can be easily detected and corrected.

10. 发明申请

US20090027393A1 IDENTIFYING ASYMPTOTES IN APPROXIMATED CURVES AND SURFACES 失效
标题翻译：在近似的曲线和表面中识别渐近
公开(公告)号：US20090027393A1
公开(公告)日：2009-01-29
申请号：US11782661
申请日：2007-07-25
申请人： Luke Kelly , Jinsong Yu
发明人： Luke Kelly , Jinsong Yu
IPC分类号： G06T11/20
CPC分类号： G06T11/203
摘要： Systems and methods for identifying asymptotes in approximated geometric forms are provided. One disclosed method includes identifying a set of data points that represent an approximated geometric form. The data points may be organized into segments. The method may further include determining a visible range of the geometric form to display. The method may further include looping through successive segments of the approximated geometric form, and on each loop, for a current segment, making a decision whether to draw the current segment based upon a prediction of whether the current segment traverses an asymptote within the visible range. The method may further include displaying on a graphical user interface of a computing device, a graph of the segments of the geometric form in the visible range, the graph not including those segments that were decided not be drawn.
摘要翻译：提供了以近似几何形式识别渐近线的系统和方法。一种公开的方法包括识别表示近似几何形式的一组数据点。数据点可以被组织成段。该方法还可以包括确定要显示的几何形状的可见范围。该方法还可以包括循环通过近似几何形式的连续段，并且在每个循环上循环当前段，基于对当前段是否穿过可见范围内的渐近线进行预测是否绘制当前段。该方法还可以包括在计算设备的图形用户界面上显示几何形式在可见范围内的片段的图形，该图形不包括被决定为不绘制的片段。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式