Sciweavers

1733 search results - page 191 / 347
» On the naturalness of software
Sort
View
SAC
2006
ACM
16 years 14 days ago
Light stemming approaches for the French, Portuguese, German and Hungarian languages
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
Jacques Savoy
EH
2005
IEEE
134views Hardware» more  EH 2005»
16 years 4 days ago
A Move Processor for Bio-Inspired Systems
The structure and operation of multi-cellular organisms relies, among other things, on the specialization of the cells’ physical structure to a finite set of specific operatio...
Gianluca Tempesti, Pierre-André Mudry, Ralp...
FDL
2005
IEEE
16 years 4 days ago
Synthesis for Unified Control- and Data-Oriented Models
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
Oana Florescu, Jeroen Voeten, Henk Corporaal
ISIPTA
2005
IEEE
115views Mathematics» more  ISIPTA 2005»
16 years 3 days ago
Powerful algorithms for decision making under partial prior information and general ambiguity attitudes
This paper discusses decision making in the practically important situation where only partial prior information on the stochastic behavior of the states of nature expressed by im...
Lev V. Utkin, Thomas Augustin
ISORC
2005
IEEE
16 years 3 days ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...