5393 search results - page 385 / 1079 » Spatial Computing with Labels |
172
Voted
VL
2005
IEEE
16 years 12 days ago
2005
IEEE
There are many common spreadsheet errors that traditional spreadsheet systems do not help users find. This paper presents a statically-typed spreadsheet language that adds additio...
158
click to vote
SOFSEM
2004
Springer
16 years 5 days ago
2004
Springer
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...
184
click to vote
ICPR
2010
IEEE
16 years 4 days ago
2010
IEEE
—Traditionally, HMM-based approaches to online Kanji handwriting recognition have relied on a hand-made dictionary, mapping characters to primitives such as strokes or substrokes...
204
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Polygonal models are the most common representation of structured 3D data in computer graphics, pattern recognition and machine vision. The method presented here automatically ide...
168
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...