2414 search results - page 322 / 483 » Reasoning Support for OWL-E |
185
Voted
IV
2006
IEEE
16 years 26 days ago
2006
IEEE
Visual Analytics is the science of analytical reasoning supported by interactive visual interfaces. People use visual analytics tools and techniques to synthesize information; der...
281
click to vote
LAWEB
2006
IEEE
16 years 26 days ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
198
Voted
VTC
2006
IEEE
16 years 26 days ago
2006
IEEE
— In the third generation wireless system UMTS, Radio Resource Management (RRM) functions should encompass scheduling algorithms. In particular, scheduling mechanisms play a key ...
184
click to vote
WETICE
2006
IEEE
16 years 26 days ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
227
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...