Sciweavers

3235 search results - page 548 / 647
» Partial Redundant Modeling
Sort
View
CAV
2001
Springer
83views Hardware» more  CAV 2001»
15 years 6 months ago
Iterating Transducers
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...
Dennis Dams, Yassine Lakhnech, Martin Steffen
100
Voted
INAP
2001
Springer
15 years 6 months ago
Defeasible Logic
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
Donald Nute
100
Voted
MASA
2001
Springer
15 years 6 months ago
Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
Sorabain Wolfheart de Lioncourt, Michael Luck
NLPRS
2001
Springer
15 years 6 months ago
An Empirical Study of Feature Set Selection for Text Chunking
This paper presents an empirical study for improving the performance of text chunking. We focus on two issues: the problem of selecting feature spaces, and the problem of alleviat...
Young-Sook Hwang, Yong-Jae Kwak, Hoo-Jung Chung, S...
VVS
2000
IEEE
121views Visualization» more  VVS 2000»
15 years 6 months ago
Volumetric backprojection
Volumetric energy backprojection captures the effects of myriad physical processes including global illumination and reconstruction. We present a method to perform efficient volu...
Frank Dachille, Klaus Mueller, Arie E. Kaufman