3136 search results - page 199 / 628 » Genetic programming theory |
126
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Automatic web page segmentation is the basis to adaptive web browsing on mobile devices. It breaks a large page into smaller blocks, in which contents with coherent semantics are ...
128
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...
166
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
147
click to vote
PRICAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
133
click to vote
KR
1994
Springer
15 years 9 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...