735 search results - page 96 / 147 » Procedural Modeling of Interconnected Structures |
136
click to vote
ECWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
118
click to vote
ACSE
1996
ACM
15 years 6 months ago
1996
ACM
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
124
Voted
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
136
click to vote
GIS
2002
ACM
15 years 2 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
143
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...