1064 search results - page 12 / 213 » Disjoint Systems (Extended Abstract) |
SAC
2003
ACM
14 years 22 days ago
2003
ACM
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Intelligent Transportation Systems (ITS) is an important research topic. One goal of ITS is to provide Internet access services for vehicle drivers and passengers. Deplo...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
SEMWIKI
2008
13 years 9 months ago
2008
Abstract. Semantic wikis combine the advantages introduced by the wiki principle with the potential of Semantic Web technologies. However, there is still a very limited support for...
ESA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We prove that for every graph H, there exists a polynomial-time algorithm deciding if a planar graph can be contracted to H. We introduce contractions and topological min...