1419 search results - page 41 / 284 » Notes on Formalizing Context |
95
Voted
FECS
2008
15 years 2 months ago
2008
- Net4Voice project consists in testing voice recognition techniques and methods within learning contexts. The need to support learning process with non traditional technologies de...
83
Voted
ASWEC
2000
IEEE
15 years 5 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
149
Voted
IRI
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
103
Voted
ICCV
2001
IEEE
16 years 2 months ago
2001
IEEE
There is general consensus that context can be a rich source of information about an object's identity, location and scale. However, the issue of how to formalize contextual ...
114
click to vote
JUCS
2006
15 years 14 days ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...