5227 search results - page 451 / 1046 » Enterprise modeling using class and instance models |
218
Voted
ILC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
237
click to vote
ISMIR
2005
Springer
16 years 1 months ago
2005
Springer
Harmonic analysis is a standard musicological tool for understanding many pieces of Western classical music and making comparisons among them. Traditionally, this analysis is done...
176
click to vote
SAPIR
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
178
click to vote
CSB
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper proposes a method for identifying protein names in biomedical texts with an emphasis on detecting protein name boundaries. We use a probabilistic model which exploits s...
203
click to vote
ISCC
2003
IEEE
16 years 1 months ago
2003
IEEE
In this article, we investigate efficient transmission of Object-based MPEG-4 video over IP networks with QoS management capabilities. MPEG-4 Audio Visual Objects (AVOs) are class...