Sciweavers

7961 search results - page 1376 / 1593
» Data Integration with Uncertainty
Sort
View
77
Voted
ICLP
1999
Springer
15 years 5 months ago
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
Yves Caseau, François-Xavier Josset, Fran&c...
94
Voted
EUROMICRO
1998
IEEE
15 years 5 months ago
System Level Modelling for Hardware/Software Systems
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
Jeroen Voeten, P. H. A. van der Putten, Marc Geile...
104
Voted
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 5 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
87
Voted
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
15 years 5 months ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris
107
Voted
ICNP
1998
IEEE
15 years 5 months ago
A State Management Protocol for IntServ, DiffServ and Label Switching
Providing Quality of Service (QOS) in an efficient and scalable manner in the Internet is a topic of active research. The technologies that have drawn the most attention are Integ...
Hari Adiseshu, Guru M. Parulkar, Raj Yavatkar
« Prev « First page 1376 / 1593 Last » Next »