11436 search results - page 355 / 2288 » Modeling Real Reasoning |
119
click to vote
AAAI
2007
15 years 6 months ago
2007
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
138
click to vote
AVI
2006
15 years 6 months ago
2006
This methodological note focuses on the edge density of real world examples of networks. The edge density is a parameter of interest typically when putting up user studies in an e...
133
click to vote
ICCV
1999
IEEE
16 years 6 months ago
1999
IEEE
Using a saliency measure based on the global property of contour closure, we have developed a method that reliably segments out salient contours bounding unknown objects from real...
127
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
138
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...