Sciweavers

2473 search results - page 243 / 495
» The Logic of Communication Graphs
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 8 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
WSC
2000
15 years 8 months ago
Soft-commissioning: hardware-in-the-loop-based verification of controller software
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
Harald Schludermann, Thomas Kirchmair, Markus Vord...
ISCI
2007
117views more  ISCI 2007»
15 years 6 months ago
Cognitive high level information fusion
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
Leonid I. Perlovsky
COLING
2002
15 years 6 months ago
Answering it with Charts: Dialogue in Natural Language and Charts
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
Tsuneaki Kato, Mitsunori Matsushita, Eisaku Maeda
162
Voted
EUSFLAT
2009
15 years 4 months ago
Information System for the valuation of Universities in Spain
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
Maria Socorro García-Cascales, Maria Teresa...