4617 search results - page 540 / 924 » Automation of Diagrammatic Reasoning |
204
click to vote
TPHOL
2003
IEEE
16 years 29 days ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
193
click to vote
RIDE
1999
IEEE
15 years 12 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
187
click to vote
FIW
2007
15 years 9 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
226
click to vote
LOGCOM
2008
15 years 7 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
207
click to vote
IJBRA
2007
15 years 7 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...