8337 search results - page 234 / 1668 » Reasoning With Characteristic Models |
148
click to vote
TELETRAFFIC
2007
Springer
16 years 5 days ago
2007
Springer
Network traffic measurements can provide essential data for network research and operation. While Internet traffic has been heavily studied for several years, there are new charact...
172
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--Packet matching plays a critical role in the performance of many network devices and a tremendous amount of research has already been invested to come up with better opti...
151
click to vote
TASLP
2008
15 years 6 months ago
2008
Epoch is the instant of significant excitation of the vocal-tract system during production of speech. For most voiced speech, the most significant excitation takes place around the...
132
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
168
Voted
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...