4895 search results - page 679 / 979 » Tools for Grammar Engineering |
194
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
166
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
167
Voted
IUI
2004
ACM
16 years 3 days ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
155
click to vote
ADAEUROPE
2004
Springer
16 years 2 days ago
2004
Springer
The tree width of a graph G measures how close G is to being a tree or a series-parallel graph. Many well-known problems that are otherwise NP-complete can be solved efficiently if...
133
click to vote
CBSE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...