Sciweavers

6598 search results - page 1029 / 1320
» Graph Theory with Applications
Sort
View
FOSSACS
2007
Springer
16 years 27 days ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
FPGA
2007
ACM
119views FPGA» more  FPGA 2007»
16 years 27 days ago
Synthesis of an application-specific soft multiprocessor system
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...
Jason Cong, Guoling Han, Wei Jiang
GEOS
2007
Springer
16 years 26 days ago
Supporting Complex Thematic, Spatial and Temporal Queries over Semantic Web Data
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
Matthew Perry, Amit P. Sheth, Farshad Hakimpour, P...
GEOS
2007
Springer
16 years 26 days ago
Structure-Based Methods to Enhance Geospatial Ontology Alignment
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
William Sunna, Isabel F. Cruz
ICCSA
2007
Springer
16 years 26 days ago
Modeling Origami for Computational Construction and Beyond
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin, Fado...
« Prev « First page 1029 / 1320 Last » Next »