Sciweavers

2498 search results - page 249 / 500
» A tool for materials exploration
Sort
View
SAS
2007
Springer
106views Formal Methods» more  SAS 2007»
16 years 23 days ago
Guided Static Analysis
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
Denis Gopan, Thomas W. Reps
IJCNN
2006
IEEE
16 years 21 days ago
Divide and Conquer Strategies for MLP Training
— Over time, neural networks have proven to be extremely powerful tools for data exploration with the capability to discover previously unknown dependencies and relationships in ...
Smriti Bhagat, Dipti Deodhare
ICRA
2005
IEEE
131views Robotics» more  ICRA 2005»
16 years 8 days ago
Multifunctional Whisker Arrays for Distance Detection, Terrain Mapping, and Object Feature Extraction
: Several species of animals use whiskers to accurately navigate and explore objects in the absence of vision. We have developed inexpensive arrays of artificial whiskers based on ...
Aimee Schultz, Joseph Solomon, Michael A. Peshkin,...
ISCAS
2003
IEEE
128views Hardware» more  ISCAS 2003»
15 years 12 months ago
Placement with symmetry constraints for analog layout using red-black trees
– The traditional way of approaching placement problems in computer-aided design (CAD) tools for analog layout is to explore an extremely large search space of feasible or unfeas...
Sarat C. Maruvada, Karthik Krishnamoorthy, Subodh ...
168
Voted
IV
2002
IEEE
121views Visualization» more  IV 2002»
15 years 11 months ago
Representing Spatial Information through Multimodal Interfaces
The research discussed here is a component of a larger study to explore the accessibility and usability of spatial data presented through multiple sensory modalities including hap...
R. Dan Jacobson