2306 search results - page 323 / 462 » Modeling issues in a shipping system |
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
We demonstrate the BioNav system, a novel search interface for biomedical databases, such as PubMed. BioNav enables users to navigate large number of query results by categorizing...
WIAMIS
2009
IEEE
14 years 3 months ago
2009
IEEE
Small digital video cameras have become increasingly common, appearing on portable consumer devices such as cellular phones. The widespread use of video-conferencing, however, is ...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
CASES
2006
ACM
14 years 3 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
WPES
2006
ACM
14 years 3 months ago
2006
ACM
Connections in distributed systems, such as social networks, online communities or peer-to-peer networks, form complex graphs. These graphs are of interest to scientists in field...