16606 search results - page 2867 / 3322 » Context Modeling: Task Model and Practice Model |
187
Voted
TPHOL
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
235
Voted
CBSQ
2003
Springer
16 years 3 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
216
Voted
ICALP
2003
Springer
16 years 2 days ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...
153
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
188
click to vote
FUN
2010
Springer
15 years 11 months ago
2010
Springer
The Christmas gift exchange is a popular party game played around Christmas. Each participant brings a Christmas present to the party, and a random ordering of the participants, ac...