1943 search results - page 125 / 389 » Ordering Default Theories |
187
click to vote
ENTCS
2011
15 years 1 months ago
2011
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, āComputational Complexity in Non-Turing Models of Computationā...
271
click to vote
SIGCOMM
2006
ACM
16 years 27 days ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...
210
click to vote
ATVA
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. The Real Time Speciļ¬cation for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
178
Voted
CP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisļ¬ability proble...
222
Voted
INFOVIS
2003
IEEE
16 years 7 days ago
2003
IEEE
We introduce an approach to visual analysis of multivariate data that integrates several methods from information visualization, exploratory data analysis (EDA), and geovisualizat...