3909 search results - page 361 / 782 » Extreme Model Checking |
142
click to vote
WSE
2002
IEEE
15 years 9 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 ...
136
click to vote
AI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The general timetabling problem is an assignment of activities to xed time intervals, adhering to a prede ned set of resource availabilities. Timetabling problems are di ...
128
click to vote
AAAI
1997
15 years 5 months ago
1997
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
137
click to vote
BIOINFORMATICS
2010
15 years 4 months ago
2010
Motivation: Existing methods for protein sequence analysis are generally firstorder and inherently assume that each position is independent. We develop a general framework for int...
134
click to vote
EOR
2010
15 years 4 months ago
2010
We consider the problem of accurately measuring the credit risk of a portfolio consisting of loans, bonds and other financial assets. One particular performance measure of interes...