2586 search results - page 196 / 518 » Automatic Abstraction for Congruences |
143
click to vote
PREMI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Segmentation of magnetic resonance imaging (MRI) data entails assigning tissue class labels to voxels. The primary source of segmentation error is the partial volume eff...
163
click to vote
RTA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
266
click to vote
CSLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This article describes an attempt to implement a constraintbased dependency grammar for Czech, a language with rich morphology and free word order, in the formalism Exten...
176
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
154
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...