4190 search results - page 371 / 838 » Type Class Directives |
136
click to vote
AIPS
2010
15 years 8 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
141
click to vote
WSC
2008
15 years 8 months ago
2008
This paper describes a distribution fitting exercise that has been used in an undergraduate introductory simulation class. The intent is for students to collect data describing a ...
189
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...
172
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
Microphone arrays play an important role in noise reduction and speech enhancement. Their algorithms are based on beamforming, which reduces the level of localized and ambient noi...
164
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...