2585 search results - page 490 / 517 » Automating Coherent Logic |
122
click to vote
NGC
1998
Springer
15 years 10 days ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
104
Voted
ICWE
2010
Springer
14 years 11 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
121
click to vote
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
139
click to vote
IJMHCI
2011
14 years 7 months ago
2011
We present a novel framework for easy creation of interactive, platform-independent voice-services with an animated 3D talking-head interface, on mobile phones. The framework supp...
119
click to vote
VLSISP
2011
14 years 7 months ago
2011
This paper presents accurate area, time, power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family [1]. These models are designed to facilitate ef...