2794 search results - page 330 / 559 » A New Architecture for Automated Modelling |
153
click to vote
LPAR
2007
Springer
16 years 23 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
170
click to vote
SIGIR
2006
ACM
16 years 17 days ago
2006
ACM
Text clustering is most commonly treated as a fully automated task without user feedback. However, a variety of researchers have explored mixed-initiative clustering methods which...
214
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
181
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
163
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
It is now common for multimedia applications to be partitioned and mapped onto multiple processing elements of a system-on-chip architecture. An important design constraint in suc...