4726 search results - page 696 / 946 » A design environment for mobile applications |
187
click to vote
ISN
2000
Springer
15 years 10 months ago
2000
Springer
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
181
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
181
click to vote
ISAAC
1995
Springer
15 years 10 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
182
click to vote
ECIS
2001
15 years 8 months ago
2001
Through online self-booking travel sites on the Web, consumers are offered great opportunities for convenient and inexpensive travel bookings. Nevertheless, they face certain prob...
197
click to vote
ANLP
1997
15 years 8 months ago
1997
Language learning is a relatively new application for natural language processing (NLP) and for intelligent tutoring and learning environments (ITLEs). NLP has a crucial role to p...