4139 search results - page 307 / 828 » Designing and Implementing Combinator Languages |
153
Voted
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
173
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...
268
Voted
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
150
Voted
DASIP
2010
15 years 1 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
168
click to vote
ERCIMDL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...