21108 search results - page 220 / 4222 » A General Class of Models of |
174
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
163
click to vote
ASSETS
2009
ACM
16 years 1 months ago
2009
ACM
Deaf and hard of hearing students must juggle their visual attention in current classroom settings. Managing many visual sources of information (instructor, interpreter or caption...
178
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
It is not unusual for a software development organization to expend 40 percent of total project effort on testing, which can be a very laborious and time-consuming process. Thus, ...
176
click to vote
SIGCSE
2006
ACM
16 years 16 days ago
2006
ACM
By expanding the teaching styles used in computer science classrooms, we can expand the audience of students that enjoy and excel in technology. Rather than focusing on major curr...
165
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
A genetic algorithm encoding is proposed which is able to automatically satisfy a class of important cardinality constraints where the set of distinct values of the design variabl...