2702 search results - page 365 / 541 » Practically Applicable Formal Methods |
122
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
115
click to vote
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
An unequal importance communication approach, for reliable and real-time image communication over heterogeneous networks and its applications in mobile communication systems is pre...
126
Voted
SIGIR
2006
ACM
15 years 8 months ago
2006
ACM
Co-occurrence data is quite common in many real applications. Latent Semantic Analysis (LSA) has been successfully used to identify semantic relations in such data. However, LSA c...
136
Voted
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
126
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...