Sciweavers

5451 search results - page 833 / 1091
» Typed Operational Semantics
Sort
View
166
Voted
ENTCS
2008
137views more  ENTCS 2008»
15 years 5 months ago
Computerizing Mathematical Text with MathLang
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
Fairouz Kamareddine, J. B. Wells
KER
2007
90views more  KER 2007»
15 years 5 months ago
PLTOOL: A knowledge engineering tool for planning and learning
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...
Susana Fernández, Daniel Borrajo, Raquel Fu...
IJMMS
2010
161views more  IJMMS 2010»
15 years 4 months ago
Persuasive robotic assistant for health self-management of older adults: Design and evaluation of social behaviors
Daily health self-management, such as the harmonization of food, exercise and medication, is a major problem for a large group of older adults with obesity or diabetics. Computer-...
Rosemarijn Looije, Mark A. Neerincx, Fokie Cnossen
150
Voted
VLC
2010
91views more  VLC 2010»
15 years 4 months ago
A model-based recognition engine for sketched diagrams
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
Florian Brieler, Mark Minas
COLING
2010
15 years 24 days ago
Recognizing Medication related Entities in Hospital Discharge Summaries using Support Vector Machine
Due to the lack of annotated data sets, there are few studies on machine learning based approaches to extract named entities (NEs) in clinical text. The 2009 i2b2 NLP challenge is...
Son Doan, Hua Xu