5451 search results - page 614 / 1091 » Typed Operational Semantics |
175
click to vote
IJDAR
2007
15 years 6 months ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...
172
click to vote
MICS
2008
15 years 6 months ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
238
Voted
PVLDB
2008
15 years 6 months ago
2008
Uncertainty pervades many domains in our lives. Current real-life applications, e.g., location tracking using GPS devices or cell phones, multimedia feature extraction, and sensor...
189
click to vote
IJIIDS
2010
15 years 5 months ago
2010
With the advent of XML as a data representation and exchange format over the web, a massive amount of data is being stored in XML. The task of data transformation for integration ...
185
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...