1524 search results - page 184 / 305 » Operational Semantics of Hybrid Systems |
ENTCS
2010
14 years 10 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
FPL
2001
Springer
15 years 2 months ago
2001
Springer
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
ECSCW
2001
14 years 11 months ago
2001
Current application-sharing systems support a single architecture for all collaborations, though different systems support different architectures We have developed a system that s...
TITS
2010
14 years 4 months ago
2010
Lane-level positioning and map matching are some of the biggest challenges for navigation systems. Additionally, in safety applications or in those with critical performance requir...