6704 search results - page 474 / 1341 » Testing Scenario-Based Models |
199
click to vote
ASP
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
184
click to vote
WSE
2002
IEEE
15 years 12 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
217
click to vote
SBRN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a simple methodology to construct an iterative neural network which mimics a given chaotic time series. The methodology uses the Gamma test to identify a suita...
203
click to vote
SIBGRAPI
2000
IEEE
15 years 11 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
202
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...