1364 search results - page 195 / 273 » Comparative Branching-Time Semantics |
146
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— Large graphs and networks are abundant in modern information systems: entity-relationship graphs over relational data or Web-extracted entities, biological networks, social onl...
116
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and ef...
121
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
169
click to vote
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
2007
IEEE
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
141
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
Most existing web video search engines index videos by file names, URLs, and surrounding texts. These types of video roughly describe the whole video in an abstract level without ...