1087 search results - page 93 / 218 » The DecideIT Decision Tool |
148
click to vote
SEMWEB
2007
Springer
16 years 14 days 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...
174
click to vote
INFOVIS
2005
IEEE
15 years 12 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...
155
click to vote
SIGIR
2005
ACM
15 years 12 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 ...
177
click to vote
HYBRID
2003
Springer
15 years 11 months 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...
168
click to vote
HYBRID
1999
Springer
15 years 10 months 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...