2722 search results - page 473 / 545 » Automating Language Evolution |
115
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
112
click to vote
GIS
2009
ACM
15 years 10 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
137
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
133
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
108
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...