2335 search results - page 276 / 467 » Type Checking Type Classes |
102
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
The paper describes a model-based approach to developing a general tool for localizing faults in applications of data warehouse technology. A model of the application is configured...
103
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
114
Voted
EJC
2008
15 years 23 days ago
2008
We explore the connection between locally constrained graph homomorphisms and degree matrices arising from an equitable partition of a graph. We provide several equivalent charact...
88
Voted
IJON
2006
15 years 21 days ago
2006
This paper proposes a neural network model that extracts axes of symmetry from visual patterns. The input patterns can be line drawings, plane figures or gray-scaled natural image...
104
click to vote
ENTCS
2007
15 years 20 days ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...