7978 search results - page 1277 / 1596 » Representation before computation |
180
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
160
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
To accommodate applications with highly variable degrees and categories of Quality of Service (QoS) requirements, a major effort has been invested to overcome the traditional best-...
169
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...
191
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Towards the realization of a global coupled air/ocean/ice predictive system for Navy needs, two high resolution modeling efforts are underway whose goals are the development and up...
184
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...