16606 search results - page 2867 / 3322 » Context Modeling: Task Model and Practice Model |
216
click to vote
TPHOL
2003
IEEE
16 years 28 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. ...
253
click to vote
CBSQ
2003
Springer
16 years 26 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...
233
click to vote
ICALP
2003
Springer
16 years 26 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...
174
click to vote
PLDI
2010
ACM
16 years 22 days 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...
208
click to vote
FUN
2010
Springer
16 years 14 days 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...