2153 search results - page 180 / 431 » From Requirements Models to Formal Specifications in B |
175
click to vote
ICALT
2010
IEEE
15 years 6 months ago
2010
IEEE
— Most e-learning systems require intervention from a teacher. The development of adaptive hypermedia systems, such as intelligent tutoring systems, aimed to reduce the teachersâ...
143
click to vote
NIPS
2001
15 years 7 months ago
2001
Visual inspection of neurons suggests that dendritic orientation may be determined both by internal constraints (e.g. membrane tension) and by external vector fields (e.g. neurotr...
157
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
193
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...
296
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
-- In the database outsourcing paradigm, a data owner (DO) delegates its DBMS administration to a specialized service provider (SP) that receives and processes queries from clients...