Sciweavers

17450 search results - page 416 / 3490
» Numerical Methods with Applications
Sort
View
139
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
LREC
2008
158views Education» more  LREC 2008»
15 years 6 months ago
Semi-automatic Building Method for a Multidimensional Affect Dictionary for a New Language
Detecting the tone or emotive content of a text message is increasingly important in many natural language processing applications. Examples of such applications are rating new bo...
Guillaume Pitel, Gregory Grefenstette
DAGSTUHL
2006
15 years 6 months ago
Physical 2D Morphware and Power Reduction Methods for Everyone
Dynamic and partial reconfiguration discovers more and more the focus in academic and industrial research. Modern systems in e.g. avionic and automotive applications exploit the p...
Jürgen Becker, Michael Hübner, Katarina ...
ESM
1998
15 years 6 months ago
Hardware Modelling and Simulation Using an Object-Oriented Method
In order to reduce the cost, the time-to-market and to make the most pertinent choices, it becomes essential to allow designers to evaluate, very soon in the design phase, a given...
Frédéric Mallet, Fernand Boér...
ICPR
2008
IEEE
15 years 11 months ago
An extended version of the k-means method for overlapping clustering
This paper deals with overlapping clustering, a trade off between crisp and fuzzy clustering. It has been motivated by recent applications in various domains such as information r...
Guillaume Cleuziou