1087 search results - page 93 / 218 » The DecideIT Decision Tool |
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Ontology mapping is the key to data interoperability in the semantic web. This problem has received a lot of research attention, however, the research emphasis has been m...
INFOVIS
2005
IEEE
14 years 1 months ago
2005
IEEE
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
Historians and scholars can better understand historic events by studying the geographic and chronological activity of individuals who witnessed them. A lack of adequate tools to ...
HYBRID
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
HYBRID
1999
Springer
14 years 20 hour ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...