2502 search results - page 452 / 501 » Using probabilistic model checking in systems biology |
162
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
140
Voted
ENTCS
2006
15 years 3 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
149
Voted
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
137
Voted
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
153
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...