Sciweavers

2374 search results - page 205 / 475
» The language of machines
Sort
View
ENTCS
2007
174views more  ENTCS 2007»
13 years 8 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix
PKDD
2009
Springer
269views Data Mining» more  PKDD 2009»
14 years 2 months ago
Enhanced Web Page Content Visualization with Firefox
This paper aims at presenting how natural language processing and machine learning techniques can help the internet surfer to get a better overview of the pages he is reading. The ...
Lorand Dali, Delia Rusu, Dunja Mladenic
ML
2008
ACM
13 years 8 months ago
Unrestricted pure call-by-value recursion
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
Johan Nordlander, Magnus Carlsson, Andy Gill
CONCUR
1999
Springer
14 years 21 days ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
ACSW
2004
13 years 9 months ago
A Framework for Obfuscated Interpretation
Software protection via obscurity is now considered fundamental for securing software systems. This paper proposes a framework for obfuscating the program interpretation instead o...
Akito Monden, Antoine Monsifrot, Clark D. Thombors...