Sciweavers

11172 search results - page 648 / 2235
» Testing Physical Systems
Sort
View
AAAI
1993
15 years 8 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip
186
Voted
GIR
2008
ACM
15 years 8 months ago
Evaluating field crisping methods for representing spatial prepositions
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...
Mark M. Hall, Christopher B. Jones
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 7 months ago
Free deconvolution for signal processing applications
—Situations in many fields of research, such as digital communications, nuclear physics and mathematical finance, can be modelled with random matrices. When the matrices get la...
Øyvind Ryan, Mérouane Debbah
205
Voted
AI
2002
Springer
15 years 7 months ago
On the relationship between model-based debugging and program slicing
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
Franz Wotawa
PUC
2008
116views more  PUC 2008»
15 years 6 months ago
Prototypical implementation of location-aware services based on a middleware architecture for super-distributed RFID tag infrast
of the hardware abstraction layer and of selected core middleware services. The latter enable a mobile device to store and retrieve data and position information in physical places...
Jürgen Bohn