14190 search results - page 2506 / 2838 » Abstractions for hybrid systems |
174
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Scientific citations play a crucial role in maintaining the network of relationships among mutually relevant articles within a research field. Customarily, authors includ...
180
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The goal of forensic dentistry is to identify people based on their dental records, mainly as radiograph images. In this paper we attempt to set forth the foundations of ...
198
click to vote
CBMS
2001
IEEE
15 years 11 months ago
2001
IEEE
For transferring data between heterogeneous databases, XML is becoming a method of choice. While deployment is generally successfully, there are barriers to overcome. A recent exa...
172
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
199
click to vote
EDO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....