1419 search results - page 39 / 284 » Notes on Formalizing Context |
95
Voted
INFORMATICALT
2010
14 years 11 months ago
2010
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
121
click to vote
ICGI
2000
Springer
15 years 4 months ago
2000
Springer
A subpansive tree is a rooted tree that gives a partial order of nonterminal symbols of a context-free grammar. We formalize subpansive trees as background knowledge of CFGs, and i...
120
click to vote
CSSW
2007
15 years 2 months ago
2007
: The SIOC Ontology can be used to express information from the online community sites in a machine-readable form using RDF. This rich data structure allows us to easily analyse an...
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
118
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...