Sciweavers

883 search results - page 88 / 177
» The Semantics of Verilog Using Transition System Combinators
Sort
View
IKE
2004
13 years 10 months ago
Ontology based Semantic Metadata for Geoscience Data
In Geoscience domain, large amounts of data are accessible, however they vary in formats and are stored at various organizations leading to problems of data discovery, data intero...
Viral Parekh, Jin-Ping Gwo, Timothy W. Finin
FMCAD
2006
Springer
14 years 25 days ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
GECCO
2005
Springer
162views Optimization» more  GECCO 2005»
14 years 2 months ago
A framework for learning coordinated behavior
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
Albert C. Esterline, Chafic BouSaba, Abdollah Homa...
WWW
2003
ACM
14 years 9 months ago
Yellow Pages on the Semantic Web
Yellow pages catalogs and corresponding directory services on the web are a widely used business concept for helping people to find companies providing services and selling product...
Antti J. Hätinen, Eero Hyvönen, Kim Vilj...
WWW
2005
ACM
14 years 9 months ago
Web-assisted annotation, semantic indexing and search of television and radio news
The Rich News system, that can automatically annotate radio and television news with the aid of resources retrieved from the World Wide Web, is described. Automatic speech recogni...
Mike Dowman, Valentin Tablan, Hamish Cunningham, B...