160 search results - page 7 / 32 » Application of real rational modules in system identificatio... |
JAR
2010
13 years 6 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
VR
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper describes the software architecture of Dragon, a real-time situational awareness virtual environment for battlefield visualization. Dragon receives data from a number of...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
SWAP
2008
13 years 9 months ago
2008
Abstract. In the core of every information integration and data exchange effort lies the ability to identify whether two pieces of information refer to the same real world entity. ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Power system topology is defined by the connectivity among power system components such as generators, power transformers, transmission lines, loads, etc. The knowledge about topo...